MULTI_fpu_taskswitch  684 arch/x86/xen/enlighten.c 	MULTI_fpu_taskswitch(mcs.mc, 0);
MULTI_fpu_taskswitch  697 arch/x86/xen/enlighten.c 	MULTI_fpu_taskswitch(mcs.mc, (cr0 & X86_CR0_TS) != 0);