MPS_MSI_MAX
msgs = min(msgs, MPS_MSI_MAX);
"MSI messages\n", MPS_MSI_MAX);
error = mps_alloc_msi(sc, MPS_MSI_MAX);