set_cpuid_faulting
set_cpuid_faulting(true);
set_cpuid_faulting(false);
set_cpuid_faulting(!!(tifn & _TIF_NOCPUID));