With the changes to MSIx there is only one Interrupt Controller left and that one does not expose any status registers right now so the red warning: "INTC0: 0xffffffff" might be misleading.
