59b2bc18b149 ("powerpc/xive: Use XIVE domain under xmon and debugfs")
6bf66eb8f404 ("powerpc/xive: Simplify the dump of XIVE interrupts under xmon")
5159d9872823 ("powerpc/xive: Simplify xive_core_debug_show()")
e2cf43d59525 ("powerpc/xive: Introduce XIVE_IPI_HW_IRQ")
2228f19cf90e ("powerpc/xive: Make debug routines static")