Symbol: optee_smc_abi_unregister
drivers/tee/optee/core.c
270
optee_smc_abi_unregister();
drivers/tee/optee/optee_private.h
418
void optee_smc_abi_unregister(void);