vbus_intr_map
int vbus_intr_map(int, int, uint64_t *);
if (vbus_intr_map(va->va_node, va->va_intr[0], &sc->sc_sysino))