Lines Matching refs:kFPUInvalidResult
1278 set_fpu_register_word(fd_reg(), kFPUInvalidResult);
1285 set_fpu_register_word(fd_reg(), kFPUInvalidResult);
1297 set_fpu_register(fd_reg(), kFPUInvalidResult);
1304 set_fpu_register(fd_reg(), kFPUInvalidResult);
1339 set_fpu_register_word(fd_reg(), kFPUInvalidResult);
1346 set_fpu_register_word(fd_reg(), kFPUInvalidResult);
1359 set_fpu_register(fd_reg(), kFPUInvalidResult);
1366 set_fpu_register(fd_reg(), kFPUInvalidResult);
4783 set_fpu_register(ft_reg, kFPUInvalidResult); // Trash upper 32 bits.