| 366 | } |
| 367 | |
| 368 | int print_cpu_info(void) |
| 369 | { |
| 370 | int ret; |
| 371 | char brand_string[CPU_BRAND_STRING_LEN + 1]; |
| 372 | |
| 373 | get_cpu_brand_string(brand_string); |
| 374 | printf("CPU brand string: %s\n", brand_string); |
| 375 | |
| 376 | ret = print_cpu_features(); |
| 377 | ret += print_sme(); |
| 378 | ret += print_sev(); |
| 379 | |
| 380 | return ret; |
| 381 | } |
| 382 | |
| 383 | static const msr_entry_t common_msrs[] = { |
| 384 | { 0x001b, "IA32_APIC_BASE" }, |
no test coverage detected