On 25/05/2016 19:23, Radim Krčmář wrote: > diff --git a/x86/hyperv_synic.c b/x86/hyperv_synic.c > index f5eb82bb7336..5a06fb724a87 100644 > --- a/x86/hyperv_synic.c > +++ b/x86/hyperv_synic.c > @@ -202,7 +202,7 @@ int main(int ac, char **av) > > report("Hyper-V SynIC test", ok); > } else { > - report_skip("Hyper-V SynIC is not supported"); > + printf("Hyper-V SynIC is not supported"); > } > > return report_summary(); > diff --git a/x86/pku.c b/x86/pku.c > index 6214f0bc151f..488cce3c6fdf 100644 > --- a/x86/pku.c > +++ b/x86/pku.c > @@ -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"); > + printf("PKU not enabled\n"); > return report_summary(); > } > > diff --git a/x86/smap.c b/x86/smap.c > index c9de081a474b..69dd80915c4a 100644 > --- a/x86/smap.c > +++ b/x86/smap.c > @@ -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"); > + printf("SMAP not enabled\n"); > return report_summary(); > } > This one looks good. Thanks, Paolo -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html