PG_NV
atomic_store_relaxed(pte, PG_NV);
atomic_store_relaxed(pte, PG_NV);
atomic_store_relaxed(pte, PG_NV);
*pg++ = PG_NV;
*pg++ = PG_NV; /* Make page 0 invalid */
*pg++ = PG_NV;
*pg++ = PG_NV;
*pg++ = PG_NV;
*pg++ = PG_NV;
*pg++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte = PG_NV;
while (--pte >= (pt_entry_t *)pv->pv_va && *pte == PG_NV)
*caddr1_pte = PG_NV;
*caddr1_pte = PG_NV;
*caddr2_pte = PG_NV;
if (*pte == PG_NV)
*pte = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;
*pte++ = PG_NV;