SGPTE_PGADDR_SHIFT
*pte = (pa >> SGPTE_PGADDR_SHIFT) | SGPTE_VALID;
spill_pte_v = (pa >> SGPTE_PGADDR_SHIFT) | SGPTE_VALID;
SGPTE_PGADDR_SHIFT) | SGPTE_VALID;