Searched refs:checkVPAlignment (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h135 static inline bool_t checkVPAlignment(vm_page_size_t sz, word_t w) function
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c671 static inline bool_t CONST checkVPAlignment(vm_page_size_t sz, word_t w) function
848 if (unlikely(!checkVPAlignment(frameSize, vaddr))) {
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c858 if (!checkVPAlignment(frameSize, vaddr)) {
H A Dvspace.c1027 if (!checkVPAlignment(frameSize, vaddr)) {
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1591 static inline bool_t CONST checkVPAlignment(vm_page_size_t sz, word_t w) function
2377 if (unlikely(!checkVPAlignment(frameSize, vaddr))) {

Completed in 99 milliseconds