PTE_API_64
va |= (ptp64->pte_hi & PTE_API_64) << ADDR_API_SHIFT_32;
((va >> ADDR_API_SHIFT_64) & PTE_API_64) | PTE_VALID_64;