__HYPERVISOR_fpu_taskswitch
mcl->op = __HYPERVISOR_fpu_taskswitch;
[__HYPERVISOR_fpu_taskswitch] = 1,