HYPERVISOR_mmu_update
if (HYPERVISOR_mmu_update(&t, 1, &retcnt, DOMID_SELF) || retcnt != 1)
if (HYPERVISOR_mmu_update(t, 2, &mmu_update_return,
if (HYPERVISOR_mmu_update(t, cnt, &count, DOMID_SELF))
if (HYPERVISOR_mmu_update(t, 1, &count, DOMID_SELF))
error = HYPERVISOR_mmu_update(kreq, count, &kscount, domid);
if (HYPERVISOR_mmu_update(&t, 1, &retcnt, DOMID_SELF) || retcnt != 1)
if (HYPERVISOR_mmu_update(&t, 1, &mmu_update_return, DOMID_SELF))
extern int HYPERVISOR_mmu_update(mmu_update_t *, int, int *, domid_t);