__sev_platform_shutdown_locked
rc = __sev_platform_shutdown_locked(&argp->error);
__sev_platform_shutdown_locked(&error);