void bsp_cleanup(void) { static char line[]="\nEXECUTIVE SHUTDOWN! Any key to reboot..."; /* * AT this point, the console driver is disconnected => we must * use polled output/input. This is exactly what printk * does. */ printk("\n"); printk(line); while (uart_poll_read(0) < 0) continue; /* rtemsReboot(); */ }
static int _BSP_get_char(void) { return uart_poll_read(0); }
static int uart_read(int minor) { return uart_poll_read(minor); }