#include <oskit/x86/fp_reg.h>
XXXThis file contains the structure definition for saving the floating-point state and then restoring it. It also contains definitions for the x87 control and status registers.
This header file is taken from CMU's Mach kernel.