@@ -67,7 +67,7 @@ int main(int ac, char **av)
unsigned int pkru_wd = 0x20;
if (!(cpuid_indexed(7, 0).c & (1 << X86_FEATURE_PKU))) {
- printf("PKU not enabled, aborting\n");
+ report_skip("PKU not enabled\n");
return report_summary();
}
@@ -390,7 +390,7 @@ int main(int ac, char **av)
host_nmi_watchdog = atol_keyval(ac, av, "host_nmi_watchdog");
if (!eax.split.version_id) {
- printf("No pmu is detected!\n");
+ report_skip("No pmu is detected!\n");
return report_summary();
}
printf("PMU version: %d\n", eax.split.version_id);
@@ -92,7 +92,7 @@ int main(int ac, char **av)
unsigned long i;
if (!(cpuid_indexed(7, 0).b & (1 << X86_FEATURE_SMAP))) {
- printf("SMAP not enabled, aborting\n");
+ report_skip("SMAP not enabled\n");
return report_summary();
}
@@ -1063,7 +1063,7 @@ int main(int ac, char **av)
smp_init();
if (!(cpuid(0x80000001).c & 4)) {
- printf("SVM not availble\n");
+ report_skip("SVM not availble\n");
return report_summary();
}
@@ -42,6 +42,6 @@ int main()
test_rdtscp(10);
test_rdtscp(0x100);
} else
- printf("rdtscp not supported\n");
+ report_skip("rdtscp not supported\n");
return report_summary();
}