xhci_intr
FDT_INTR_MPSAFE, xhci_intr, sc, device_xname(self));
xhci_intr, sc);
IPL_USB, true, xhci_intr, sc, device_xname(self));
FDT_INTR_MPSAFE, xhci_intr, sc, device_xname(self));
FDT_INTR_MPSAFE, xhci_intr, sc, device_xname(self));
xhci_intr, sc, device_xname(sc->sc_dev));
int xhci_intr(void *);