Searched refs:h_ipi_redirect (Results 1 – 2 of 2) sorted by relevance
28 int h_ipi_redirect = 1; variable29 EXPORT_SYMBOL(h_ipi_redirect);152 if (kvmppc_host_rm_ops_hv && h_ipi_redirect) in icp_rm_set_vcpu_irq()
693 extern int h_ipi_redirect;