get_devices       121 drivers/tee/optee/device.c 	rc = get_devices(ctx, sess_arg.session, NULL, &shm_size);
get_devices       133 drivers/tee/optee/device.c 	rc = get_devices(ctx, sess_arg.session, device_shm, &shm_size);