Symbol: sev_pci_exit
drivers/crypto/ccp/psp-dev.c
380
sev_pci_exit();
drivers/crypto/ccp/sev-dev.h
77
void sev_pci_exit(void);