ipi_clear
void (*ipi_clear)(int irq);
.ipi_clear = mcip_ipi_clear,
if (plat_smp_ops.ipi_clear)
plat_smp_ops.ipi_clear(irq);
ipi_clear(vcpu, data);