sev_platform_shutdown 1057 drivers/crypto/ccp/psp-dev.c 		sev_platform_shutdown(NULL);
sev_platform_shutdown 1086 drivers/crypto/ccp/psp-dev.c 	sev_platform_shutdown(NULL);