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