ipi_send
void (*ipi_send)(int cpu);
.ipi_send = mcip_ipi_send,
if (plat_smp_ops.ipi_send && !old)
plat_smp_ops.ipi_send(cpu);
ipi_send(vcpu->kvm, data);
ipi_send(cpu, op);
ipi_send(dest_cpu, op);
return fw->ops->ipi_send(fw, id, buf, len, wait);
int (*ipi_send)(struct mtk_vcodec_fw *fw, int id, void *buf,
.ipi_send = mtk_vcodec_scp_ipi_send,
.ipi_send = mtk_vcodec_vpu_ipi_send,