_hypercall1
return _hypercall1(int, set_trap_table, table);
return _hypercall1(int, fpu_taskswitch, set);
return _hypercall1(long, set_timer_op, timeout);
return _hypercall1(int, platform_op, platform_op);
return _hypercall1(unsigned long, get_debugreg, reg);
return _hypercall1(int, set_trap_table, table);
return _hypercall1(int, fpu_taskswitch, set);
return _hypercall1(int, platform_op, platform_op);
return _hypercall1(unsigned long, get_debugreg, reg);