/seL4-master/include/arch/arm/arch/machine/ |
A D | hardware.h | 19 #define PAGE_BASE(_p, _s) ((_p) & ~MASK(pageBitsForSize((_s)))) 20 #define PAGE_OFFSET(_p, _s) ((_p) & MASK(pageBitsForSize((_s)))) 21 #define IS_PAGE_ALIGNED(_p, _s) (((_p) & MASK(pageBitsForSize((_s)))) == 0)
|
/seL4-master/src/arch/arm/32/machine/ |
A D | capdl.c | 150 i += (1 << pageBitsForSize(page_size)); in arm32_cap_pt_print_slots() 195 i += (1 << pageBitsForSize(page_size)); in obj_vtable_print_slots() 196 if (i < (1 << pageBitsForSize(page_size))) { in obj_vtable_print_slots() 212 i += (1 << pageBitsForSize(ARMSection)); in obj_vtable_print_slots() 213 if (i < (1 << pageBitsForSize(ARMSection))) { in obj_vtable_print_slots() 420 ret.frameBase &= ~MASK(pageBitsForSize(ARMLargePage)); in arm32_obj_pt_print_slots() 444 i += (1 << pageBitsForSize(ret.frameSize)); in arm32_obj_pt_print_slots() 473 ret.frameBase &= ~MASK(pageBitsForSize(ARMSuperSection)); in obj_tcb_print_vtable() 495 i += (1 << pageBitsForSize(ret.frameSize)); in obj_tcb_print_vtable() 496 if (i < (1 << pageBitsForSize(ret.frameSize))) { in obj_tcb_print_vtable()
|
/seL4-master/src/arch/arm/32/kernel/ |
A D | vspace.c | 157 word_t idx = (vaddr & MASK(pageBitsForSize(ARMSection))) >> pageBitsForSize(ARMSmallPage); in map_kernel_frame() 207 idx = PPTR_BASE >> pageBitsForSize(ARMSection); in map_kernel_window() 229 phys += BIT(pageBitsForSize(ARMSuperSection)); in map_kernel_window() 233 while (idx < (PPTR_TOP >> pageBitsForSize(ARMSection))) { in map_kernel_window() 249 phys += BIT(pageBitsForSize(ARMSection)); in map_kernel_window() 267 phys += BIT(pageBitsForSize(ARMSection)); in map_kernel_window() 389 pd += (vptr >> pageBitsForSize(ARMSection)); in map_it_frame_cap() 392 >> pageBitsForSize(ARMSmallPage)); in map_it_frame_cap() 1468 assert((vptr & MASK(pageBitsForSize(page_size))) == 0); 1544 return (w & MASK(pageBitsForSize(sz))) == 0; [all …]
|
/seL4-master/include/arch/arm/arch/64/mode/machine/ |
A D | hardware.h | 41 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
|
/seL4-master/src/arch/x86/object/ |
A D | objecttype.c | 300 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a))); in Arch_sameRegionAs() 301 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))); in Arch_sameRegionAs() 431 return pageBitsForSize(X86_SmallPage); in Arch_getObjectSize() 433 return pageBitsForSize(X86_LargePage); in Arch_getObjectSize()
|
/seL4-master/include/arch/x86/arch/machine/ |
A D | hardware.h | 54 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
|
/seL4-master/src/arch/riscv/object/ |
A D | objecttype.c | 128 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a))); in Arch_sameRegionAs() 129 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ; in Arch_sameRegionAs()
|
/seL4-master/include/arch/riscv/arch/machine/ |
A D | hardware.h | 93 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
|
/seL4-master/include/arch/arm/arch/32/mode/machine/ |
A D | hardware.h | 112 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
|
/seL4-master/include/arch/riscv/arch/object/ |
A D | structures.h | 101 return pageBitsForSize(cap_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
|
/seL4-master/src/arch/riscv/kernel/ |
A D | vspace.c | 378 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap)); in lookupIPCBuffer() 458 memzero(frame, BIT(pageBitsForSize(RISCV_4K_Page))); in performASIDControlInvocation() 564 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(page_size))) { in unmapPage() 673 return (w & MASK(pageBitsForSize(sz))) == 0; in checkVPAlignment() 840 word_t vtop = vaddr + BIT(pageBitsForSize(frameSize)) - 1; in decodeRISCVFrameInvocation() 853 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(frameSize))) { in decodeRISCVFrameInvocation()
|
/seL4-master/src/arch/arm/32/object/ |
A D | objecttype.c | 261 topA = botA + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_a))); in Arch_sameRegionAs() 262 topB = botB + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_b))) ; in Arch_sameRegionAs()
|
/seL4-master/src/arch/arm/64/object/ |
A D | objecttype.c | 247 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a))); in Arch_sameRegionAs() 248 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ; in Arch_sameRegionAs()
|
/seL4-master/src/arch/x86/64/object/ |
A D | objecttype.c | 172 return pageBitsForSize(X64_HugePage); in Mode_getObjectSize()
|
/seL4-master/include/arch/x86/arch/object/ |
A D | structures.h | 150 return pageBitsForSize(cap_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
|
/seL4-master/include/arch/x86/arch/kernel/ |
A D | vspace.h | 136 return IS_ALIGNED(w, pageBitsForSize(sz)); in checkVPAlignment()
|
/seL4-master/include/arch/arm/arch/64/mode/object/ |
A D | structures.h | 130 return pageBitsForSize(cap_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
|
/seL4-master/include/arch/arm/arch/32/mode/object/ |
A D | structures.h | 283 return pageBitsForSize(generic_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
|
/seL4-master/src/arch/arm/64/kernel/ |
A D | vspace.c | 616 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap)); in lookupIPCBuffer() 1775 MASK(pageBitsForSize(resolve_ret.frameSize)); in decodeARMVSpaceRootInvocation() 2135 if (unlikely(vaddr + BIT(pageBitsForSize(frameSize)) - 1 > USER_TOP)) { in decodeARMFrameInvocation() 2237 page_size = BIT(pageBitsForSize(cap_frame_cap_get_capFSize(cap))); in decodeARMFrameInvocation() 2471 offset = vaddr & MASK(pageBitsForSize(lookup_frame_ret.frameSize)); in readWordFromVSpace()
|
/seL4-master/src/arch/x86/kernel/ |
A D | vspace.c | 59 memzero(frame, BIT(pageBitsForSize(X86_SmallPage))); in performASIDControlInvocation() 114 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap)); in lookupIPCBuffer() 993 vtop = vaddr + BIT(pageBitsForSize(frameSize)); in decodeX86FrameInvocation()
|