static void
VGA_close(PSD psd)
{
#if ELKS
/* allow console switching again*/
ioctl(0, DCREL_GRAPH);
#endif
#if HWINIT
ega_hwterm();
#else
/* init bios 80x25 text mode*/
int10(FNTEXT, 0);
#endif
}
/*
* fbvga device driver CLOSE entry point
*/
rtems_device_driver frame_buffer_close(
rtems_device_major_number major,
rtems_device_minor_number minor,
void *arg
)
{
if (pthread_mutex_unlock(&mutex) == 0){
/* restore previous state. for VGA this means return to text mode.
* leave out if graphics hardware has been initialized in
* frame_buffer_initialize() */
ega_hwterm();
printk( "FBVGA close called.\n" );
return RTEMS_SUCCESSFUL;
}
return RTEMS_UNSATISFIED;
}
