PTE_API_32
va = ((ptp32->pte_hi & PTE_API_32) << ADDR_API_SHIFT_32) |
((va >> ADDR_API_SHIFT_32) & PTE_API_32) | PTE_VALID_32;