Home
last modified time | relevance | path

Searched refs:pageBitsForSize (Results 1 – 20 of 20) sorted by relevance

/seL4-master/include/arch/arm/arch/machine/
A Dhardware.h19 #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 Dcapdl.c150 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 Dvspace.c157 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 Dhardware.h41 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
/seL4-master/src/arch/x86/object/
A Dobjecttype.c300 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 Dhardware.h54 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
/seL4-master/src/arch/riscv/object/
A Dobjecttype.c128 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 Dhardware.h93 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Dhardware.h112 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) in pageBitsForSize() function
/seL4-master/include/arch/riscv/arch/object/
A Dstructures.h101 return pageBitsForSize(cap_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c378 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 Dobjecttype.c261 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 Dobjecttype.c247 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 Dobjecttype.c172 return pageBitsForSize(X64_HugePage); in Mode_getObjectSize()
/seL4-master/include/arch/x86/arch/object/
A Dstructures.h150 return pageBitsForSize(cap_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
/seL4-master/include/arch/x86/arch/kernel/
A Dvspace.h136 return IS_ALIGNED(w, pageBitsForSize(sz)); in checkVPAlignment()
/seL4-master/include/arch/arm/arch/64/mode/object/
A Dstructures.h130 return pageBitsForSize(cap_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
/seL4-master/include/arch/arm/arch/32/mode/object/
A Dstructures.h283 return pageBitsForSize(generic_frame_cap_get_capFSize(cap)); in cap_get_archCapSizeBits()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c616 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 Dvspace.c59 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()

Completed in 52 milliseconds