_hypercall3
return _hypercall3(int, update_va_mapping, va, new_val.pte, flags);
return _hypercall3(int, console_io, cmd, count, str);
return _hypercall3(int, grant_table_op, cmd, uop, count);
return _hypercall3(int, vcpu_op, cmd, vcpuid, extra_args);
return _hypercall3(int, sched_op, SCHEDOP_shutdown, &r, start_info_mfn);
ret = _hypercall3(int, dm_op, dom, nr_bufs, bufs);