| 
| 
#define  | BSP_HAS_FRAME_BUFFER   1 | 
|   | 
| 
#define  | BSP_NE2000_NETWORK_DRIVER_NAME   "ne1" | 
|   | 
| 
#define  | BSP_NE2000_NETWORK_DRIVER_ATTACH   rtems_ne_driver_attach | 
|   | 
| 
#define  | BSP_WD8003_NETWORK_DRIVER_NAME   "wd1" | 
|   | 
| 
#define  | BSP_WD8003_NETWORK_DRIVER_ATTACH   rtems_wd_driver_attach | 
|   | 
| 
#define  | BSP_DEC21140_NETWORK_DRIVER_NAME   "dc1" | 
|   | 
| 
#define  | BSP_DEC21140_NETWORK_DRIVER_ATTACH   rtems_dec21140_driver_attach | 
|   | 
| 
#define  | BSP_3C509_NETWORK_DRIVER_NAME   "3c1" | 
|   | 
| 
#define  | BSP_3C509_NETWORK_DRIVER_ATTACH   rtems_3c509_driver_attach | 
|   | 
| 
#define  | RTEMS_BSP_NETWORK_DRIVER_NAME   BSP_DEC21140_NETWORK_DRIVER_NAME | 
|   | 
| 
#define  | RTEMS_BSP_NETWORK_DRIVER_ATTACH   BSP_DEC21140_NETWORK_DRIVER_ATTACH | 
|   | 
| 
#define  | IO_TIMER1   0x40 | 
|   | 
| 
#define  | TIMER_CNTR0   (IO_TIMER1 + 0) /* timer 0 counter port           */ | 
|   | 
| 
#define  | TIMER_CNTR1   (IO_TIMER1 + 1) /* timer 1 counter port           */ | 
|   | 
| 
#define  | TIMER_CNTR2   (IO_TIMER1 + 2) /* timer 2 counter port           */ | 
|   | 
| 
#define  | TIMER_MODE   (IO_TIMER1 + 3) /* timer mode port                */ | 
|   | 
| 
#define  | TIMER_SEL0   0x00            /* select counter 0               */ | 
|   | 
| 
#define  | TIMER_SEL1   0x40            /* select counter 1               */ | 
|   | 
| 
#define  | TIMER_SEL2   0x80            /* select counter 2               */ | 
|   | 
| 
#define  | TIMER_INTTC   0x00            /* mode 0, intr on terminal cnt   */ | 
|   | 
| 
#define  | TIMER_ONESHOT   0x02            /* mode 1, one shot               */ | 
|   | 
| 
#define  | TIMER_RATEGEN   0x04            /* mode 2, rate generator         */ | 
|   | 
| 
#define  | TIMER_SQWAVE   0x06            /* mode 3, square wave            */ | 
|   | 
| 
#define  | TIMER_SWSTROBE   0x08            /* mode 4, s/w triggered strobe   */ | 
|   | 
| 
#define  | TIMER_HWSTROBE   0x0a            /* mode 5, h/w triggered strobe   */ | 
|   | 
| 
#define  | TIMER_LATCH   0x00            /* latch counter for reading      */ | 
|   | 
| 
#define  | TIMER_LSB   0x10            /* r/w counter LSB                */ | 
|   | 
| 
#define  | TIMER_MSB   0x20            /* r/w counter MSB                */ | 
|   | 
| 
#define  | TIMER_16BIT   0x30            /* r/w counter 16 bits, LSB first */ | 
|   | 
| 
#define  | TIMER_BCD   0x01            /* count in BCD                   */ | 
|   | 
| 
#define  | TIMER_RD_BACK   0xc0	       /* Read Back Command 		 */ | 
|   | 
| 
#define  | RB_NOT_COUNT   0x40	       /* Don't select counter latch 	 */ | 
|   | 
| 
#define  | RB_NOT_STATUS   0x20	       /* Don't select status latch 	 */ | 
|   | 
| 
#define  | RB_COUNT_0   0x02	       /* Counter 0 latch 		 */ | 
|   | 
| 
#define  | RB_COUNT_1   0x04	       /* Counter 1 latch 		 */ | 
|   | 
| 
#define  | RB_COUNT_2   0x08	       /* Counter 2 latch 		 */ | 
|   | 
| 
#define  | RB_OUTPUT   0x80	       /* Output of the counter is 1 	 */ | 
|   | 
| 
#define  | TIMER_TICK   1193182  /* The internal tick rate in ticks per second */ | 
|   | 
| 
#define  | BSP_CONSOLE_VGA   0 | 
|   | 
| 
#define  | BSP_CONSOLE_COM1   1 | 
|   | 
| 
#define  | BSP_CONSOLE_COM2   2 | 
|   | 
| 
#define  | US_TO_TICK(us)   (((us)*105+44)/88) | 
|   | 
| 
#define  | TICK_TO_US(tk)   (((tk)*88+52)/105) | 
|   | 
| 
#define  | BSP_IDLE_TASK_BODY   bsp_idle_thread | 
|   | 
| 
#define  | BSP_CONSOLE_PORT_CONSOLE   (-1) | 
|   | 
| 
#define  | BSP_CONSOLE_PORT_COM1   (BSP_UART_COM1) | 
|   | 
| 
#define  | BSP_CONSOLE_PORT_COM2   (BSP_UART_COM2) | 
|   | 
 | 
| 
void  | BSP_runtime_console_select (int *pPrintkPort, int *pConsolePort) | 
|   | 
| 
int  | rtems_ne_driver_attach (struct rtems_bsdnet_ifconfig *, int) | 
|   | 
| 
int  | rtems_wd_driver_attach (struct rtems_bsdnet_ifconfig *, int) | 
|   | 
| 
int  | rtems_dec21140_driver_attach (struct rtems_bsdnet_ifconfig *, int) | 
|   | 
| 
int  | rtems_3c509_driver_attach (struct rtems_bsdnet_ifconfig *config) | 
|   | 
| 
void  | _IBMPC_initVideo (void) | 
|   | 
| 
void  | _IBMPC_outch (char) | 
|   | 
| 
char  | _IBMPC_inch (void) | 
|   | 
| 
char  | _IBMPC_inch_sleep (void) | 
|   | 
| 
int  | BSP_wait_polled_input (void) | 
|   | 
| 
int  | rtems_kbpoll (void) | 
|   | 
| 
int  | getch (void) | 
|   | 
| 
void  | add_to_queue (unsigned short b) | 
|   | 
| 
void  | Wait_X_ms (unsigned int timeToWait) | 
|   | 
| 
void  | Calibrate_loop_1ms (void) | 
|   | 
| 
void  | rtems_irq_mngt_init (void) | 
|   | 
| 
void  | Clock_driver_install_handler (void) | 
|   | 
| 
void  | Clock_driver_support_initialize_hardware (void) | 
|   | 
| void *  | bsp_idle_thread (uintptr_t ignored) | 
|   | Optimized idle task.  More...
  | 
|   | 
| 
void  | kbd_reset_setup (char *str, int *ints) | 
|   | 
| 
size_t  | read_aux (char *buffer, size_t count) | 
|   | 
| 
bool  | bsp_get_serial_mouse_device (const char **name, const char **type) | 
|   | 
| 
void  | register_leds (int console, unsigned int led, unsigned int *addr, unsigned int mask) | 
|   | 
| 
const char *  | bsp_cmdline (void) | 
|   | 
| 
const char *  | bsp_cmdline_arg (const char *arg) | 
|   | 
| 
void  | init_remote_gdb (void) | 
|   | 
| 
void  | i386_stub_glue_init (int uart) | 
|   | 
| 
void  | i386_stub_glue_init_breakin (void) | 
|   | 
| 
int  | i386_stub_glue_uart (void) | 
|   | 
| 
void  | breakpoint (void) | 
|   | 
| 
uint32_t  | BSP_irq_count_dump (FILE *f) | 
|   | 
| 
void  | raw_idt_notify (void) | 
|   | 
| 
void  | C_dispatch_isr (int vector) | 
|   |