Searched refs:__do_sched_recv_cb (Results 1 – 1 of 1) sorted by relevance
943 static void __do_sched_recv_cb(u16 part_id, u16 vcpu, bool is_per_vcpu) in __do_sched_recv_cb() function1011 __do_sched_recv_cb(part_id, 0, false); in ffa_notification_info_get()1022 __do_sched_recv_cb(part_id, vcpu_id, true); in ffa_notification_info_get()