Symbol: module_ffa_driver
drivers/char/tpm/tpm_crb_ffa.c
409
module_ffa_driver(tpm_crb_ffa_driver);
drivers/tee/tstee/core.c
476
module_ffa_driver(tstee_driver);