L2_S_FRAME
curaddr = (pte & L2_S_FRAME) |
pgva = (vaddr_t)dst & L2_S_FRAME;
pa = (pte & L2_S_FRAME) | (va & L2_S_OFFSET);
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
kernel_pt_lookup(pde[va >> L1_S_SHIFT] & L2_S_FRAME);
#define l2pte_pa(pte) ((pte) & L2_S_FRAME)