Symbol: TEE_DEVICE_FLAG_REGISTERED
drivers/tee/tee_core.c
1215
if (teedev->flags & TEE_DEVICE_FLAG_REGISTERED) {
drivers/tee/tee_core.c
1229
teedev->flags |= TEE_DEVICE_FLAG_REGISTERED;
drivers/tee/tee_core.c
1277
if (teedev->flags & TEE_DEVICE_FLAG_REGISTERED)