static inline void sysctl_write(u_int offset, uint32_t val) { *RA_IOREG_VADDR(RA_SYSCTL_BASE, offset) = val; }
static inline void uart_write(const u_int offset, const uint32_t val) { *RA_IOREG_VADDR(RA_UART_LITE_BASE, offset) = val; }
static inline uint32_t sysctl_read(u_int offset) { return *RA_IOREG_VADDR(RA_SYSCTL_BASE, offset); }
static inline uint32_t uart_read(const u_int offset) { return *RA_IOREG_VADDR(RA_UART_LITE_BASE, offset); }