Symbol: tee_dev_destroy
drivers/crypto/ccp/psp-dev.c
321
tee_dev_destroy(psp);
drivers/crypto/ccp/tee-dev.h
113
void tee_dev_destroy(struct psp_device *psp);