Searched refs:is_per_vcpu (Results 1 – 3 of 3) sorted by relevance
| /linux/drivers/firmware/arm_ffa/ |
| H A D | driver.c | 868 static void __do_sched_recv_cb(u16 part_id, u16 vcpu, bool is_per_vcpu) in __do_sched_recv_cb() argument
886 callback(vcpu, is_per_vcpu, cb_data); in __do_sched_recv_cb()
1200 static int ffa_notify_request(struct ffa_device *dev, bool is_per_vcpu, in ffa_notify_request() argument
1215 if (is_per_vcpu) in ffa_notify_request()
1236 bool is_per_vcpu, u16 vcpu) in ffa_notify_send() argument
1243 if (is_per_vcpu) in ffa_notify_send()
1287 ffa_self_notif_handle(u16 vcpu, bool is_per_vcpu, void *cb_data) in ffa_self_notif_handle() argument
1291 if (!is_per_vcpu) in ffa_self_notif_handle()
|
| /linux/drivers/tee/optee/ |
| H A D | ffa_abi.c | 834 bool is_per_vcpu = false; in optee_ffa_async_notif_init() local
840 is_per_vcpu, in optee_ffa_async_notif_init()
|
| /linux/include/linux/ |
| H A D | arm_ffa.h | 456 typedef void (*ffa_sched_recv_cb)(u16 vcpu, bool is_per_vcpu, void *cb_data);
|