fpu_get_fault_code
ksi->ksi_code = fpu_get_fault_code();
int fpu_get_fault_code(void);
ksi.ksi_code = fpu_get_fault_code();