L1_C_ADDR_MASK
pa = (paddr_t)(pde & L1_C_ADDR_MASK);
pte = (pt_entry_t *) kernel_pt_lookup(pde[L1_IDX(va)] & L1_C_ADDR_MASK);
pde[L1_IDX(va)] & L1_C_ADDR_MASK);