1 /* Public domain. */ 2 3 #ifndef _ASM_FPU_API_H 4 #define _ASM_FPU_API_H 5 6 #ifdef __i386__ 7 #include <machine/npx.h> 8 #endif 9 10 #ifdef __amd64__ 11 #include <machine/fpu.h> 12 #endif 13 14 #define kernel_fpu_begin() fpu_kernel_enter() 15 #define kernel_fpu_end() fpu_kernel_exit() 16 17 #endif 18