Searched refs:MSR_AMD64_SEV (Results 1 – 5 of 5) sorted by relevance
45 u64 sev_msr = rdmsr(MSR_AMD64_SEV); in guest_snp_code()60 GUEST_ASSERT(rdmsr(MSR_AMD64_SEV) & MSR_AMD64_SEV_ENABLED); in guest_sev_es_code()61 GUEST_ASSERT(rdmsr(MSR_AMD64_SEV) & MSR_AMD64_SEV_ES_ENABLED); in guest_sev_es_code()76 GUEST_ASSERT(rdmsr(MSR_AMD64_SEV) & MSR_AMD64_SEV_ENABLED); in guest_sev_code()
402 raw_rdmsr(MSR_AMD64_SEV, &m); in sev_enable()451 raw_rdmsr(MSR_AMD64_SEV, &m); in sev_get_status()
39 movl $MSR_AMD64_SEV, %ecx /* Read the SEV MSR */
711 #define MSR_AMD64_SEV 0xc0010131 macro
706 #define MSR_AMD64_SEV 0xc0010131 macro