kernel_pt_lookup
ptep = (pt_entry_t *)kernel_pt_lookup(pa);
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
pte = (pt_entry_t *) kernel_pt_lookup(pde[L1_IDX(va)] & L1_C_ADDR_MASK);
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
pte = (pt_entry_t *) kernel_pt_lookup(
vaddr_t kernel_pt_lookup(paddr_t);