MSR_SEV_STATUS - OpenBSD

Symbol: MSR_SEV_STATUS

sys/arch/amd64/amd64/vmm_machdep.c

svm_setmsrbrw(vcpu, MSR_SEV_STATUS);

sys/arch/amd64/stand/efiboot/exec_i386.c

__asm volatile ("rdmsr" : "=a" (sev_status), "=d"(dummy) : "c"(MSR_SEV_STATUS));