Lines Matching refs:printf
30 printf("SEV activation test is loaded.\n"); in test_sev_activation()
34 printf("CPUID Fn8000_0000[EAX]: 0x%08x\n", cpuid_out.a); in test_sev_activation()
36 printf("CPUID does not support FN%08x\n", in test_sev_activation()
43 printf("CPUID Fn8000_001F[EAX]: 0x%08x\n", cpuid_out.a); in test_sev_activation()
44 printf("CPUID Fn8000_001F[EBX]: 0x%08x\n", cpuid_out.b); in test_sev_activation()
46 printf("SEV is not supported.\n"); in test_sev_activation()
49 printf("SEV is supported\n"); in test_sev_activation()
53 printf("MSR C001_0131[EAX]: 0x%08lx\n", msr_out & 0xffffffff); in test_sev_activation()
55 printf("SEV is not enabled.\n"); in test_sev_activation()
58 printf("SEV is enabled\n"); in test_sev_activation()
66 printf("SEV-ES is enabled.\n"); in test_sev_es_activation()
68 printf("SEV-ES is not enabled.\n"); in test_sev_es_activation()