Lines Matching refs:printf
461 printf("%s, invept not supported\n", __func__); in check_vmx_mmu_cap()
466 printf("%s, invvpid not supported\n", __func__); in check_vmx_mmu_cap()
469 printf("%s, ept not support 2MB large page\n", __func__); in check_vmx_mmu_cap()
500 printf("%s, unrestricted guest not supported\n", __func__); in check_essential_vmx_caps()
503 printf("%s, Only support Intel 64 architecture.\n", __func__); in check_essential_vmx_caps()
508 printf("%s, check MSR[0x%x]:0x%lx bits:0x%x failed\n", __func__, in check_essential_vmx_caps()
530 printf("%s, LM not supported\n", __func__); in detect_hardware_support()
534 printf("%s, can't detect Linear/Physical Address size\n", __func__); in detect_hardware_support()
537 printf("%s, physical-address width (%d) over maximum physical-address width (%d)\n", in detect_hardware_support()
542 printf("%s, physical-address width %d over 39 bits must support 1GB large page\n", in detect_hardware_support()
547 printf("%s, invariant TSC not supported\n", __func__); in detect_hardware_support()
551 printf("%s, TSC deadline not supported\n", __func__); in detect_hardware_support()
555 printf("%s, NX not supported\n", __func__); in detect_hardware_support()
559 printf("%s, SMEP not supported\n", __func__); in detect_hardware_support()
563 printf("%s, SMAP not supported\n", __func__); in detect_hardware_support()
566 printf("%s, MTRR not supported\n", __func__); in detect_hardware_support()
569 printf("%s, CLFLUSHOPT not supported\n", __func__); in detect_hardware_support()
572 printf("%s, vmx not supported\n", __func__); in detect_hardware_support()
577 printf("%s, EPT not supported\n", __func__); in detect_hardware_support()
580 printf("%s, APICV not supported\n", __func__); in detect_hardware_support()
583 printf("%s, required CPU feature not supported\n", __func__); in detect_hardware_support()
586 printf("%s, VMX can not be enabled\n", __func__); in detect_hardware_support()
589 printf("%s, x2APIC not supported\n", __func__); in detect_hardware_support()
592 printf("%s, popcnt instruction not supported\n", __func__); in detect_hardware_support()
595 printf("%s, SSE not supported\n", __func__); in detect_hardware_support()
598 printf("%s, RDRAND is not supported\n", __func__); in detect_hardware_support()