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

/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c160 unsigned int pdIndex; local
162 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS);
164 pdSlot.pdSlot = pd + pdIndex;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c727 unsigned int pdIndex; local
729 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS);
730 return pd + pdIndex;
1096 unsigned int pdIndex; local
1103 pdIndex = vaddr >> (PAGE_BITS + PT_INDEX_BITS);
1104 pde = find_ret.pd[pdIndex];
1221 unsigned int pdIndex; local
1226 pdIndex = vaddr >> (PT_INDEX_BITS + PAGE_BITS);
1227 pdSlot = pd + pdIndex;
2158 word_t vaddr, pdIndex; local
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1042 word_t pdIndex = GET_PD_INDEX(vptr); local
1044 pdSlot = pd + pdIndex;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c705 word_t pdIndex = GET_PD_INDEX(vptr); local
707 pdSlot = pd + pdIndex;

Completed in 104 milliseconds