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