L2_TABLE
atomic_swap_64(&l2[idx], pdppa | L2_TABLE);
pte = (uint64_t)l3 | L2_TABLE;
atomic_swap_64(&l2[idx], pa | L2_TABLE);