Searched refs:pageBits (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c375 word_t basePtr, pageBits; local
378 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
379 return (word_t *)(basePtr + (w_bufferPtr & MASK(pageBits)));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c111 word_t basePtr, pageBits; local
114 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
115 return (word_t *)(basePtr + (w_bufferPtr & MASK(pageBits)));
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c691 unsigned int pageBits; local
694 pageBits = pageBitsForSize(generic_frame_cap_get_capFSize(bufferCap));
695 return (word_t *)(basePtr + (w_bufferPtr & MASK(pageBits)));
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c608 unsigned int pageBits; local
611 pageBits = pageBitsForSize(cap_frame_cap_get_capFSize(bufferCap));
612 return (word_t *)(basePtr + (w_bufferPtr & MASK(pageBits)));

Completed in 96 milliseconds