Searched refs:is_per_vcpu (Results 1 – 2 of 2) sorted by relevance
| /linux/drivers/firmware/arm_ffa/ |
| H A D | driver.c | 1004 static void __do_sched_recv_cb(u16 part_id, u16 vcpu, bool is_per_vcpu) in __do_sched_recv_cb() argument
1024 callback(vcpu, is_per_vcpu, cb_data); in __do_sched_recv_cb()
1405 static int __ffa_notify_request(struct ffa_device *dev, bool is_per_vcpu, in __ffa_notify_request() argument
1433 if (is_per_vcpu) in __ffa_notify_request()
1457 static int ffa_notify_request(struct ffa_device *dev, bool is_per_vcpu, in ffa_notify_request() argument
1460 return __ffa_notify_request(dev, is_per_vcpu, cb, cb_data, notify_id, in ffa_notify_request()
1472 bool is_per_vcpu, u16 vcpu) in ffa_notify_send() argument
1479 if (is_per_vcpu) in ffa_notify_send()
1592 ffa_self_notif_handle(u16 vcpu, bool is_per_vcpu, void *cb_data) in ffa_self_notif_handle() argument
1596 if (!is_per_vcpu) in ffa_self_notif_handle()
|
| /linux/include/linux/ |
| H A D | arm_ffa.h | 495 typedef void (*ffa_sched_recv_cb)(u16 vcpu, bool is_per_vcpu, void *cb_data);
|