void __chk8087()
{
// TODO: We really need to call Linux and determine if the machine
// has a real FPU or not, so we can properly work with an FPU
// emulator.
_RWD_8087 = __init_80x87( _RWD_8087cw );
_RWD_real87 = _RWD_8087;
}
void __chk8087()
{
extern char __87;
extern char __r87;
_RWD_real87 = __r87;
_RWD_8087 = __87;
if( _RWD_8087 != 0 ) __init_80x87( _RWD_8087cw );
}
extern void __chk8087( void )
{
if( _RWD_8087 == 0 ) {
if( __87present() ) {
_RWD_8087 = 3; /* 387 */
_RWD_real87 = 3;
}
__init_80x87( _RWD_8087cw );
}
}
unsigned char __init_8087()
{
#if !defined(__UNIX__) && !defined(__OS2_386__)
if( _RWD_real87 != 0 ) { /* if our emulator, don't worry */
_RWD_Save8087 = __save_8087; /* point to real save 8087 routine */
_RWD_Rest8087 = __rest_8087; /* point to real restore 8087 routine */
}
#endif
/* 0 => no 8087; 2 => 8087,287; 3=>387 */
return( __init_80x87( _RWD_8087cw ) );
}
void __chk8087() {
/******************/
char devinfo;
#if defined( __386__ )
DosDevConfig( &devinfo, DEVINFO_COPROCESSOR );
#else
DosDevConfig( &devinfo, 3, 0 );
#endif
if( devinfo == 0 ) {
_RWD_8087 = 0;
} else {
_RWD_8087 = __init_80x87( _RWD_8087cw );
}
_RWD_real87 = _RWD_8087;
}
_WCRTLINK void _fpreset( void )
{
if( _RWD_8087 != 0 ) {
__init_80x87();
}
}
