mdb_usba_hcdi_get_hcdi
extern uintptr_t mdb_usba_hcdi_get_hcdi(struct dev_info *);
uintptr_t hcdi_addr = mdb_usba_hcdi_get_hcdi(&devinfo);