CR4_OSFXSR 77 kernel/arch/amd64/src/cpu/cpu.c write_cr4(read_cr4() | CR4_OSFXSR); CR4_OSFXSR 104 kernel/arch/ia32/src/cpu/cpu.c : [mask] "i" (CR4_OSFXSR | CR4_OSXMMEXCPT)