Thanks, will take a look. It does seem this is on an error path: > [ 606.818317] ib_mthca 0000:c4:00.0: NOP command failed to generate > interrupt (IRQ 98), aborting. > [ 606.826709] ib_mthca 0000:c4:00.0: BIOS or ACPI interrupt routing problem?So your system already had problems -- the driver didn't get anexpected interrupt from the device. - R.