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

/seL4-test-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
43 printf("pt_%p_%04lu {\n", upperPtSlot, ptIndex);
199 word_t ptIndex = ((i >> ptBitsLeft) & MASK(PT_INDEX_BITS)); local
200 pte_t *ptSlot = pt + ptIndex;
203 printf("pt_%p_%04lu = pt\n", ptSlot, ptIndex);
207 printf("frame_%p_%04lu = frame ", ptSlot, ptIndex);
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c748 unsigned int ptIndex; local
751 ptIndex = (vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS);
752 ptSlot = pt + ptIndex;
762 unsigned int ptIndex; local
764 ptIndex = (vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS);
765 return pt + ptIndex;
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c636 word_t ptIndex; local
639 ptIndex = (vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS);
640 ptSlot = pt + ptIndex;
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c735 word_t ptIndex = GET_PT_INDEX(vptr); local
737 ptSlot = pt + ptIndex;

Completed in 36 milliseconds