Symbol: sev_es_play_dead
arch/x86/coco/sev/core.c
1163
static void sev_es_play_dead(void)
arch/x86/coco/sev/core.c
1178
#define sev_es_play_dead native_play_dead