IPTE_GLOBAL
__ptep_ipte(gfn_to_gpa(gfn), (void *)ptep, opts, asce.val, IPTE_GLOBAL);
__ptep_ipte(gfn_to_gpa(gfn), (void *)ptep, 0, 0, IPTE_GLOBAL);
__ptep_ipte(__memcpy_real_area, memcpy_real_ptep, 0, 0, IPTE_GLOBAL);
__ptep_ipte_range(address, nr - 1, pte, IPTE_GLOBAL);
__ptep_ipte(address, pte, 0, 0, IPTE_GLOBAL);
__ptep_ipte(addr, ptep, opt, asce, IPTE_GLOBAL);
__ptep_ipte(addr, ptep, 0, 0, IPTE_GLOBAL);
__ptep_ipte(addr, ptep, 0, 0, IPTE_GLOBAL);
__ptep_ipte(addr, ptep, 0, 0, IPTE_GLOBAL);