bcm2835_mbox_notify_xhci_reset
int bcm2835_mbox_notify_xhci_reset(uint32_t);
error = bcm2835_mbox_notify_xhci_reset(dev_addr);