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

/seL4-test-master/kernel/include/arch/arm/arch/machine/
H 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-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h41 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) function
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c146 i += (1 << pageBitsForSize(page_size));
191 i += (1 << pageBitsForSize(page_size));
192 if (i < (1 << pageBitsForSize(page_size))) {
208 i += (1 << pageBitsForSize(ARMSection));
209 if (i < (1 << pageBitsForSize(ARMSection))) {
416 ret.frameBase &= ~MASK(pageBitsForSize(ARMLargePage));
440 i += (1 << pageBitsForSize(ret.frameSize));
469 ret.frameBase &= ~MASK(pageBitsForSize(ARMSuperSection));
491 i += (1 << pageBitsForSize(ret.frameSize));
492 if (i < (1 << pageBitsForSize(re
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h115 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) function
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h54 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) function
71 /* This function is a duplicate of pageBitsForSize, needed for calls that occur
73 * be replicated in pageBitsForSize.
/seL4-test-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h95 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) function
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c300 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a)));
301 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b)));
431 return pageBitsForSize(X86_SmallPage);
433 return pageBitsForSize(X86_LargePage);
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h101 return pageBitsForSize(cap_frame_cap_get_capFSize(cap));
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c157 word_t idx = (vaddr & MASK(pageBitsForSize(ARMSection))) >> pageBitsForSize(ARMSmallPage);
207 idx = PPTR_BASE >> pageBitsForSize(ARMSection);
229 phys += BIT(pageBitsForSize(ARMSuperSection));
233 while (idx < (PPTR_TOP >> pageBitsForSize(ARMSection))) {
249 phys += BIT(pageBitsForSize(ARMSection));
267 phys += BIT(pageBitsForSize(ARMSection));
430 pd += (vptr >> pageBitsForSize(ARMSection));
432 targetSlot = pt + ((vptr & MASK(pageBitsForSize(ARMSection)))
433 >> pageBitsForSize(ARMSmallPag
[all...]
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c128 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a)));
129 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ;
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c378 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
458 memzero(frame, BIT(pageBitsForSize(RISCV_4K_Page)));
564 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(page_size))) {
673 return (w & MASK(pageBitsForSize(sz))) == 0;
842 word_t vtop = vaddr + BIT(pageBitsForSize(frameSize)) - 1;
855 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(frameSize))) {
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c261 topA = botA + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_a)));
262 topB = botB + MASK(pageBitsForSize(generic_frame_cap_get_capFSize(cap_b))) ;
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c247 topA = botA + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_a)));
248 topB = botB + MASK(pageBitsForSize(cap_frame_cap_get_capFSize(cap_b))) ;
/seL4-test-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c172 return pageBitsForSize(X64_HugePage);
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h137 return IS_ALIGNED(w, pageBitsForSize(sz));
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h150 return pageBitsForSize(cap_frame_cap_get_capFSize(cap));
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h130 return pageBitsForSize(cap_frame_cap_get_capFSize(cap));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h283 return pageBitsForSize(generic_frame_cap_get_capFSize(cap));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c611 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
1771 MASK(pageBitsForSize(resolve_ret.frameSize));
2135 if (unlikely(vaddr + BIT(pageBitsForSize(frameSize)) - 1 > USER_TOP)) {
2237 page_size = BIT(pageBitsForSize(cap_frame_cap_get_capFSize(cap)));
2482 offset = vaddr & MASK(pageBitsForSize(lookup_frame_ret.frameSize));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c59 memzero(frame, BIT(pageBitsForSize(X86_SmallPage)));
114 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
994 vtop = vaddr + BIT(pageBitsForSize(frameSize));

Completed in 152 milliseconds