HYPERVISOR_fpu_taskswitch
call HYPERVISOR_fpu_taskswitch; \
call HYPERVISOR_fpu_taskswitch; \
call HYPERVISOR_fpu_taskswitch; \
call HYPERVISOR_fpu_taskswitch; \
extern long HYPERVISOR_fpu_taskswitch(int);