mmu_update_t
HYPERVISOR_mmu_update(mmu_update_t *req, int count, int *success_count,
DEFINE_XEN_GUEST_HANDLE(mmu_update_t);
mmu_update_t t;
mmu_update_t t[2];
mmu_update_t t[2];
mmu_update_t t[1];
(mmu_update_t *)hc->arg[0], (int)hc->arg[1],
privcmd_HYPERVISOR_mmu_update(mmu_update_t *ureq, int count, int *scount,
mmu_update_t *kreq, single_kreq;
DTRACE_XPV3(mmu__update__start, int, domid, int, count, mmu_update_t *,
mmu_update_t t;
mmu_update_t t;
extern int HYPERVISOR_mmu_update(mmu_update_t *, int, int *, domid_t);