Symbol: sev_es_shutdown_ghcb
arch/x86/boot/compressed/idt_64.c
86
sev_es_shutdown_ghcb();
arch/x86/boot/compressed/misc.h
145
void sev_es_shutdown_ghcb(void);