Lines Matching refs:ffa_device
811 static int ffa_run(struct ffa_device *dev, u16 vcpu)
861 static void ffa_mode_32bit_set(struct ffa_device *dev)
866 static int ffa_sync_send_receive(struct ffa_device *dev,
943 static int ffa_sched_recv_cb_register(struct ffa_device *dev,
949 static int ffa_sched_recv_cb_unregister(struct ffa_device *dev)
1015 static int ffa_notify_relinquish(struct ffa_device *dev, int notify_id)
1042 static int ffa_notify_request(struct ffa_device *dev, bool is_per_vcpu,
1077 static int ffa_notify_send(struct ffa_device *dev, int notify_id,
1176 void ffa_device_match_uuid(struct ffa_device *ffa_dev, const uuid_t *uuid)
1203 struct ffa_device *ffa_dev;