Symbol: kernel_pt_lookup
sys/arch/arm/arm/pmap7.c
2288
ptep = (pt_entry_t *)kernel_pt_lookup(pa);
sys/arch/arm/arm/pmap7.c
2552
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
sys/arch/arm/arm/pmap7.c
2554
pte = (pt_entry_t *) kernel_pt_lookup(pde[L1_IDX(va)] & L1_C_ADDR_MASK);
sys/arch/arm/arm/pmap7.c
2669
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
sys/arch/arm/arm/pmap7.c
2671
pte = (pt_entry_t *) kernel_pt_lookup(
sys/arch/arm/arm/pmap7.c
417
vaddr_t kernel_pt_lookup(paddr_t);