src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2514

os_printf("nvmm: CPUID leaf not available\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2521

os_printf("nvmm: SVM not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2528

os_printf("nvmm: SVM revision not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2534

os_printf("nvmm: SVM-NP not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2540

os_printf("nvmm: SVM-NRIPS not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2548

os_printf("nvmm: SVM disabled in BIOS\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3358

os_printf("nvmm: VMX disabled in BIOS\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3364

os_printf("nvmm: I/O reporting not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3368

os_printf("nvmm: WB memory not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3377

os_printf("nvmm: CR0 requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3386

os_printf("nvmm: CR4 requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3396

os_printf("nvmm: pin-based-ctls requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3404

os_printf("nvmm: proc-based-ctls requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3412

os_printf("nvmm: proc-based-ctls2 requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3426

os_printf("nvmm: entry-ctls requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3434

os_printf("nvmm: exit-ctls requirements not satisfied\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3440

os_printf("nvmm: 4-level page tree not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3444

os_printf("nvmm: INVEPT not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3448

os_printf("nvmm: INVVPID not supported\n");

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3460

os_printf("nvmm: EPT UC/WB memory types not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2514

os_printf("nvmm: CPUID leaf not available\n");

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2521

os_printf("nvmm: SVM not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2528

os_printf("nvmm: SVM revision not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2534

os_printf("nvmm: SVM-NP not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2540

os_printf("nvmm: SVM-NRIPS not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2548

os_printf("nvmm: SVM disabled in BIOS\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3358

os_printf("nvmm: VMX disabled in BIOS\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3364

os_printf("nvmm: I/O reporting not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3368

os_printf("nvmm: WB memory not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3377

os_printf("nvmm: CR0 requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3386

os_printf("nvmm: CR4 requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3396

os_printf("nvmm: pin-based-ctls requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3404

os_printf("nvmm: proc-based-ctls requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3412

os_printf("nvmm: proc-based-ctls2 requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3426

os_printf("nvmm: entry-ctls requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3434

os_printf("nvmm: exit-ctls requirements not satisfied\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3440

os_printf("nvmm: 4-level page tree not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3444

os_printf("nvmm: INVEPT not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3448

os_printf("nvmm: INVVPID not supported\n");

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3460

os_printf("nvmm: EPT UC/WB memory types not supported\n");