CPU_HAS_FPU
if ((boot_cpu_data.flags & CPU_HAS_FPU) && tsk == current)
if (boot_cpu_data.flags & CPU_HAS_FPU) {
if (fpu_disabled && (current_cpu_data.flags & CPU_HAS_FPU)) {
current_cpu_data.flags &= ~CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_FPU;
boot_cpu_data.flags &= ~CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_PTEA | CPU_HAS_FPU;
boot_cpu_data.flags |= CPU_HAS_FPU;
if (boot_cpu_data.flags & CPU_HAS_FPU)
if ((boot_cpu_data.flags & CPU_HAS_FPU))
if (boot_cpu_data.flags & CPU_HAS_FPU) {
if (!(boot_cpu_data.flags & CPU_HAS_FPU))
if (!(boot_cpu_data.flags & CPU_HAS_FPU))