Searched defs:w_rightsMask (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c829 word_t w_rightsMask; local
H A Dvspace.c964 word_t w_rightsMask; local
1089 word_t w_rightsMask; local
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c810 word_t w_rightsMask = getSyscallArg(1, buffer); local
897 word_t w_rightsMask = getSyscallArg(0, buffer); local
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2436 word_t vaddr, vtop, w_rightsMask; local
2574 word_t vaddr, w_rightsMask; local

Completed in 59 milliseconds