UVMF_LOCAL
pte, UVMF_INVLPG | UVMF_LOCAL, DOMID_XEN);
0, UVMF_INVLPG | UVMF_LOCAL);
*pteval & ~(x86pte_t)PT_WRITABLE, UVMF_INVLPG | UVMF_LOCAL))
UVMF_INVLPG | UVMF_LOCAL) == 0)
if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))
UVMF_INVLPG | UVMF_LOCAL))
UVMF_INVLPG | UVMF_LOCAL))
if (HYPERVISOR_update_va_mapping(va, pte, UVMF_INVLPG | UVMF_LOCAL))
UVMF_INVLPG | UVMF_LOCAL);
UVMF_INVLPG | UVMF_LOCAL))
pa_to_ma(physaddr) | pt_bits, UVMF_INVLPG | UVMF_LOCAL) < 0)
UVMF_INVLPG | UVMF_LOCAL) == 0)
if (HYPERVISOR_update_va_mapping(va, pteval, UVMF_INVLPG | UVMF_LOCAL))
pteval, UVMF_INVLPG | UVMF_LOCAL) == 0)
pteval, UVMF_INVLPG | UVMF_LOCAL) != 0)
UVMF_INVLPG | UVMF_LOCAL);
if (HYPERVISOR_update_va_mapping(va, pte_val, UVMF_INVLPG | UVMF_LOCAL))
if (HYPERVISOR_update_va_mapping(va, pte_val, UVMF_INVLPG | UVMF_LOCAL))
UVMF_INVLPG | UVMF_LOCAL) < 0)
UVMF_INVLPG | UVMF_LOCAL) < 0)
UVMF_INVLPG | UVMF_LOCAL) < 0)
UVMF_INVLPG | UVMF_LOCAL);
UVMF_INVLPG | UVMF_LOCAL);
xen_info->shared_info | PTE_BITS, UVMF_INVLPG | UVMF_LOCAL);
UVMF_INVLPG | UVMF_LOCAL);