TEE_DEVICE_FLAG_REGISTERED  825 drivers/tee/tee_core.c 	if (teedev->flags & TEE_DEVICE_FLAG_REGISTERED) {
TEE_DEVICE_FLAG_REGISTERED  855 drivers/tee/tee_core.c 	teedev->flags |= TEE_DEVICE_FLAG_REGISTERED;
TEE_DEVICE_FLAG_REGISTERED  905 drivers/tee/tee_core.c 	if (teedev->flags & TEE_DEVICE_FLAG_REGISTERED) {