1588 void ffa_device_match_uuid(struct ffa_device *ffa_dev, const uuid_t *uuid)  in ffa_device_match_uuid()  argument
1598 		if (tpbuf->id == ffa_dev->vm_id)  in ffa_device_match_uuid()
1599 			uuid_copy(&ffa_dev->uuid, uuid);  in ffa_device_match_uuid()
1684 	struct ffa_device *ffa_dev;  in ffa_setup_host_partition()  local
1688 	ffa_dev = ffa_device_register(&buf, &ffa_drv_ops);  in ffa_setup_host_partition()
1689 	if (!ffa_dev) {  in ffa_setup_host_partition()
1695 	ret = ffa_xa_add_partition_info(ffa_dev);  in ffa_setup_host_partition()
1702 	ret = ffa_sched_recv_cb_update(ffa_dev, ffa_self_notif_handle,  in ffa_setup_host_partition()
1735 	struct ffa_device *ffa_dev;  in ffa_setup_partitions()  local
1758 		ffa_dev = ffa_device_register(tpbuf, &ffa_drv_ops);  in ffa_setup_partitions()
1759 		if (!ffa_dev) {  in ffa_setup_partitions()
1767 			ffa_mode_32bit_set(ffa_dev);  in ffa_setup_partitions()
1769 		if (ffa_xa_add_partition_info(ffa_dev)) {  in ffa_setup_partitions()
1770 			ffa_device_unregister(ffa_dev);  in ffa_setup_partitions()