HYPERVISOR_fpu_taskswitch
HYPERVISOR_fpu_taskswitch(1);
#define clts() HYPERVISOR_fpu_taskswitch(0)
#define stts() HYPERVISOR_fpu_taskswitch(1)