31 #include "common/hardware/hwregs.h"
33 #define SIO1_DATA HW_U8(0x1f801050)
34 #define SIO1_STAT HW_U16(0x1f801054)
35 #define SIO1_MODE HW_U16(0x1f801058)
36 #define SIO1_CTRL HW_U16(0x1f80105a)
37 #define SIO1_BAUD HW_U16(0x1f80105e)
40 void sio1_putc(uint8_t
byte);