Symbol: __do_sched_recv_cb
drivers/firmware/arm_ffa/driver.c
1054
__do_sched_recv_cb(part_id, 0, false);
drivers/firmware/arm_ffa/driver.c
1068
__do_sched_recv_cb(part_id, vcpu_id, true);