dbgp_ehci_status
static void dbgp_ehci_status(char *str)
static inline void dbgp_ehci_status(char *str) { }