Searched refs:ipi_number (Results 1 – 2 of 2) sorted by relevance
36 u32 ipi_number; /* XIVE IPI HW number */ member78 *out_hw_irq = state->ipi_number; in kvmppc_xive_select_irq()
1706 xive_native_configure_irq(state->ipi_number, in kvmppc_xive_clr_mapped()1755 xive_native_configure_irq(state->ipi_number, 0, MASKED, 0); in kvmppc_xive_disable_vcpu_interrupts()2370 if (!state->ipi_number) { in xive_set_source()2371 state->ipi_number = xive_native_alloc_irq(); in xive_set_source()2372 if (state->ipi_number == 0) { in xive_set_source()2376 xive_native_populate_irq_data(state->ipi_number, &state->ipi_data); in xive_set_source()2377 pr_devel(" src_ipi=0x%x\n", state->ipi_number); in xive_set_source()2626 kvmppc_xive_cleanup_irq(state->ipi_number, &state->ipi_data); in kvmppc_xive_free_sources()2628 xive_native_free_irq(state->ipi_number); in kvmppc_xive_free_sources()2873 state->ipi_number == hw_num ? "IPI" : " PT", in kvmppc_xive_debug_show_sources()