supp_teedev       231 drivers/tee/optee/core.c 	if (teedev == optee->supp_teedev) {
supp_teedev       299 drivers/tee/optee/core.c 	if (teedev == optee->supp_teedev)
supp_teedev       624 drivers/tee/optee/core.c 	optee->supp_teedev = teedev;
supp_teedev       630 drivers/tee/optee/core.c 	rc = tee_device_register(optee->supp_teedev);
supp_teedev       654 drivers/tee/optee/core.c 		tee_device_unregister(optee->supp_teedev);
supp_teedev       678 drivers/tee/optee/core.c 	tee_device_unregister(optee->supp_teedev);
supp_teedev        83 drivers/tee/optee/optee_private.h 	struct tee_device *supp_teedev;