UVMF_INVLPG
pte, UVMF_INVLPG | UVMF_LOCAL, DOMID_XEN);
UVMF_INVLPG | UVMF_ALL);
0, UVMF_INVLPG);
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))
(uintptr_t)va, pte, UVMF_INVLPG);
(uintptr_t)va, 0, UVMF_INVLPG);
UVMF_INVLPG | UVMF_LOCAL);
pte, UVMF_INVLPG | UVMF_ALL));
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) < 0)
UVMF_INVLPG | UVMF_LOCAL);
UVMF_INVLPG | UVMF_LOCAL);
xen_info->shared_info | PTE_BITS, UVMF_INVLPG | UVMF_LOCAL);
UVMF_INVLPG | UVMF_LOCAL);
0, UVMF_INVLPG)) {
UVMF_INVLPG))
UVMF_INVLPG | UVMF_ALL, data->domid) != 0) {