to_tee_client_device  216 drivers/char/hw_random/optee-rng.c 	struct tee_client_device *rng_device = to_tee_client_device(dev);
to_tee_client_device 1051 drivers/tee/tee_core.c 	tee_device = to_tee_client_device(dev);
to_tee_client_device 1065 drivers/tee/tee_core.c 	uuid_t *dev_id = &to_tee_client_device(dev)->id.uuid;