| 240 | } |
| 241 | |
| 242 | static bool is_sev_snp_supported(void) |
| 243 | { |
| 244 | cpuid_result_t cpuid_regs; |
| 245 | |
| 246 | if (cpuid(0x80000000) < 0x8000001f) |
| 247 | return false; |
| 248 | |
| 249 | cpuid_regs = cpuid_ext(0x8000001f, 0x0); |
| 250 | return !!(cpuid_regs.eax & 0x10); |
| 251 | } |
| 252 | |
| 253 | static unsigned int get_sev_max_guest_num(void) |
| 254 | { |