kvmppc_xive_cleanup_irq
kvmppc_xive_cleanup_irq(state->ipi_number, &state->ipi_data);
kvmppc_xive_cleanup_irq(state->pt_number, state->pt_data);