static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
#define printk(level,...)
#define setbits32(addr, set)
#define clrbits32(addr, clear)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
int clock_get_pll_input_khz(void)
void usb_setup_utmip(void *usb_base)
static void usb_ehci_reset_and_prepare(struct usb_ctlr *usb, enum usb_phy_type type)
check_member(utmip_ctlr, pmc_wakeup, 0x84c - 0x800)