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

/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c36 static void riscv_cap_pt_print_slots(pte_t *upperPtSlot, word_t ptIndex, int level) argument
199 word_t ptIndex = ((i >> ptBitsLeft) & MASK(PT_INDEX_BITS)); local
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c636 word_t ptIndex; local
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c748 unsigned int ptIndex; local
762 unsigned int ptIndex; local
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c735 word_t ptIndex = GET_PT_INDEX(vptr); local

Completed in 98 milliseconds