Symbol: mtk_mfg_send_ipi
drivers/pmdomain/mediatek/mtk-mfg-pmdomain.c
493
ret = mtk_mfg_send_ipi(mfg, &msg);
drivers/pmdomain/mediatek/mtk-mfg-pmdomain.c
512
return mtk_mfg_send_ipi(mfg, &msg);
drivers/pmdomain/mediatek/mtk-mfg-pmdomain.c
527
ret = mtk_mfg_send_ipi(mfg, &msg);