print_skip
print_skip("No GICv2 nor GICv3 support");
print_skip("__NR_userfaultfd must be present for userfaultfd test");
print_skip("Log mode '%s' not supported",
void __printf(1, 2) print_skip(const char *fmt, ...);
print_skip("Access denied - Exiting");
print_skip("did not allocate guest pages at required positions");
print_skip("did not allocate guest pages at required positions");
print_skip("did not allocate guest pages at required positions");
print_skip("Enlightened VMCS is unsupported");
print_skip("KVM_CAP_SYS_HYPERV_CPUID not supported");
print_skip("Extended calls not supported by the kernel");
print_skip("MCG_CMCI_P is not supported");