pte_invalid_pde
KASSERT(pte_invalid_pde() == 0);
pd_entry_t opde = pte_pde_cas(pde_p, pte_invalid_pde(), npde);
if (pte_invalid_pde() != 0) {
ptb->pde_pde[i] = pte_invalid_pde();
ptb->pde_pde[i] = pte_invalid_pde();
ptb->pde_pde[i] = pte_invalid_pde();