Synopsis
void __sev(void);
Description

__sev inserts a SEV instruction.