L0_TABLE
atomic_swap_64(&l0[idx], pdppa | L0_TABLE);
pte = (uint64_t)l1 | L0_TABLE;
atomic_swap_64(&l0[idx], pa | L0_TABLE);