l1pte_pa
pa = l1pte_pa(pde);
vaddr_t pa = l1pte_pa(pde);
ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));
pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pdep[l1slot]));
pt_entry_t *ptep = (pt_entry_t *) kernel_pt_lookup(l1pte_pa(pde[l1slot]));
l2ptva = KERN_PHYSTOV(l1pte_pa(pdep[l1slot]));