Lines Matching refs:ffa_device

950 static int ffa_run(struct ffa_device *dev, u16 vcpu)  in ffa_run()
1004 static void ffa_mode_32bit_set(struct ffa_device *dev)  in ffa_mode_32bit_set()
1009 static int ffa_sync_send_receive(struct ffa_device *dev,  in ffa_sync_send_receive()
1016 static int ffa_indirect_msg_send(struct ffa_device *dev, void *buf, size_t sz)  in ffa_indirect_msg_send()
1021 static int ffa_sync_send_receive2(struct ffa_device *dev, const uuid_t *uuid,  in ffa_sync_send_receive2()
1101 static int ffa_sched_recv_cb_register(struct ffa_device *dev,  in ffa_sched_recv_cb_register()
1107 static int ffa_sched_recv_cb_unregister(struct ffa_device *dev)  in ffa_sched_recv_cb_unregister()
1173 static int ffa_notify_relinquish(struct ffa_device *dev, int notify_id)  in ffa_notify_relinquish()
1200 static int ffa_notify_request(struct ffa_device *dev, bool is_per_vcpu,  in ffa_notify_request()
1235 static int ffa_notify_send(struct ffa_device *dev, int notify_id,  in ffa_notify_send()
1343 void ffa_device_match_uuid(struct ffa_device *ffa_dev, const uuid_t *uuid)  in ffa_device_match_uuid()
1362 	struct ffa_device *fdev = to_ffa_dev(dev);  in ffa_bus_notifier()
1391 	struct ffa_device *ffa_dev;  in ffa_setup_partitions()