diff options
| -rw-r--r-- | i386/i386/fpu.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/i386/i386/fpu.c b/i386/i386/fpu.c index 8efe9e8..d35e3ef 100644 --- a/i386/i386/fpu.c +++ b/i386/i386/fpu.c @@ -158,7 +158,6 @@ init_fpu() unsigned long mask; fp_kind = FP_387X; #ifndef MACH_RING1 - printf("Enabling FXSR\n"); set_cr4(get_cr4() | CR4_OSFXSR); #endif /* MACH_RING1 */ fxsave(&save); |