sev_platform_shutdown
void sev_platform_shutdown(void)
static inline void sev_platform_shutdown(void) { }