sev_es_setup_play_dead
static void __init sev_es_setup_play_dead(void)
static inline void sev_es_setup_play_dead(void) { }