Symbol: KPTE_PTE_INDEX
sys/arch/ia64/ia64/pmap.c
1116
KPTE_DIR0_INDEX(va), KPTE_DIR1_INDEX(va), KPTE_PTE_INDEX(va), 0);
sys/arch/ia64/ia64/pmap.c
1118
dir1, leaf, &leaf[KPTE_PTE_INDEX(va)], 0);
sys/arch/ia64/ia64/pmap.c
1120
return (&leaf[KPTE_PTE_INDEX(va)]);