ipi_mux_create
virq = ipi_mux_create(BITS_PER_BYTE, sbi_send_ipi);
rc = ipi_mux_create(BITS_PER_BYTE, clint_send_ipi);
virq = ipi_mux_create(BITS_PER_BYTE, aclint_sswi_ipi_send);
base_ipi = ipi_mux_create(AIC_NR_SWIPI, aic_ipi_send_single);
virq = ipi_mux_create(IMSIC_NR_IPI, imsic_ipi_send);
int ipi_mux_create(unsigned int nr_ipi, void (*mux_send)(unsigned int cpu));