Searched refs:i387 (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/src/arch/x86/machine/ | ||
| A D | fpu.c | 97 nullFpuState->i387.mxcsr = MXCSR_INIT_VALUE; in Arch_initFpu() |
| /seL4-master/include/arch/x86/arch/machine/ | ||
| A D | fpu.h | 35 i387_state_t i387; member |
Completed in 4 milliseconds