HYPERVISOR_mmu_update
HYPERVISOR_mmu_update(
HYPERVISOR_mmu_update(mmu_update_t *req, int count, int *success_count,