pte_pde_cas
opde = pte_pde_cas(pde_p, opde, npde);
pd_entry_t opde = pte_pde_cas(pde_p, pte_invalid_pde(), npde);