Searched refs:IS_ALIGNED (Results 1 – 13 of 13) sorted by relevance
| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | hardware.h | 87 compile_assert(USER_TOP_correctly_aligned, IS_ALIGNED(USER_TOP, 20));
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | x2apic.c | 91 assert(IS_ALIGNED(startup_addr, PAGE_BITS)); in apic_send_startup_ipi()
|
| A D | xapic.c | 99 assert(IS_ALIGNED(startup_addr, PAGE_BITS)); in apic_send_startup_ipi()
|
| A D | vspace.c | 37 assert(IS_ALIGNED(asid_base, asidLowBits)); in deleteASIDPool()
661 if (!IS_ALIGNED(vptr, seL4_IPCBufferSizeBits)) { in checkValidIPCBuffer()
690 assert(IS_ALIGNED(vptr, PT_INDEX_BITS + PAGE_BITS)); in flushTable()
|
| A D | boot_sys.c | 105 if (!IS_ALIGNED(v_reg.start, PAGE_BITS)) { in load_boot_module()
|
| /seL4-master/src/arch/x86/machine/ |
| A D | hardware.c | 74 assert(IS_ALIGNED((word_t)vaddr, size_bits)); in flushCacheRange()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 118 assert(IS_ALIGNED(pptr, RISCV_GET_LVL_PGSIZE_BITS(0))); in map_kernel_window()
119 assert(IS_ALIGNED(paddr, RISCV_GET_LVL_PGSIZE_BITS(0))); in map_kernel_window()
443 assert(IS_ALIGNED(asid_base, asidLowBits)); in deleteASIDPool()
622 if (unlikely(!IS_ALIGNED(vptr, seL4_IPCBufferSizeBits))) { in checkValidIPCBuffer()
1159 if (!IS_ALIGNED(sp, seL4_WordSizeBits)) { in Arch_userStackTrace()
|
| /seL4-master/include/ |
| A D | util.h | 41 #define IS_ALIGNED(n, b) (!((n) & MASK(b))) macro
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 62 assert(IS_ALIGNED(KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE, seL4_HugePageBits)); in map_kernel_window()
63 assert(IS_ALIGNED(KDEV_BASE, seL4_HugePageBits)); in map_kernel_window()
146 assert(IS_ALIGNED(KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE, seL4_HugePageBits)); in map_kernel_window()
147 assert(IS_ALIGNED(KDEV_BASE, seL4_HugePageBits)); in map_kernel_window()
1603 if (!IS_ALIGNED(sp, seL4_WordSizeBits)) { in Arch_userStackTrace()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | vspace.h | 136 return IS_ALIGNED(w, pageBitsForSize(sz)); in checkVPAlignment()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace_32paging.c | 370 if (!IS_ALIGNED(sp, seL4_WordSizeBits)) { in Arch_userStackTrace()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 250 assert(IS_ALIGNED(PPTR_BASE, seL4_LargePageBits)); in map_kernel_window()
253 assert(IS_ALIGNED(PPTR_TOP, seL4_HugePageBits)); in map_kernel_window()
637 if (!IS_ALIGNED(vptr, seL4_IPCBufferSizeBits)) { in checkValidIPCBuffer()
2499 if (!IS_ALIGNED(sp, seL4_WordSizeBits)) { in Arch_userStackTrace()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2854 if (!IS_ALIGNED(sp, seL4_WordSizeBits)) {
|
Completed in 27 milliseconds