static inline uint8_t uart_read(unsigned int reg) { if (simics_uart) return in_8(simics_uart_base + reg); else return lpc_inb(uart_base + reg); }
static uint8_t lpc_sio_inb(uint8_t reg) { lpc_outb(reg, 0x2e); return lpc_inb(0x2f); }
static inline uint8_t bt_inb(uint32_t reg) { return lpc_inb(bt.base_addr + reg); }