_hypercall4
return _hypercall4(int, mmu_update, req, count, success_count, domid);
return _hypercall4(int, mmuext_op, op, count, success_count, domid);
return _hypercall4(int, update_va_mapping_otherdomain, va,
return _hypercall4(int, mmu_update, req, count, success_count, domid);
return _hypercall4(int, mmuext_op, op, count, success_count, domid);
return _hypercall4(int, set_callbacks,
return _hypercall4(int, update_descriptor, ma, ma>>32, desc, desc>>32);
return _hypercall4(int, update_va_mapping, va,