L3_PAGE
attr = L3_PAGE | (kenter ? 0 : LX_BLKPAG_NG);
attr = L3_PAGE;
L3_PAGE |
atomic_swap_64(&l3[idx], pa | L3_PAGE | LX_BLKPAG_UXN |