optee_remove      724 drivers/tee/optee/core.c 		optee_remove(optee);
optee_remove      742 drivers/tee/optee/core.c 		optee_remove(optee);