Home | History | Annotate | Download | only in x86

Lines Matching refs:nvmm

7  * This code is part of the NVMM hypervisor.
55 #include <dev/nvmm/nvmm.h>
56 #include <dev/nvmm/nvmm_internal.h>
57 #include <dev/nvmm/x86/nvmm_x86.h>
1455 		memcpy(&cpudata->gprs[NVMM_X64_GPR_RCX], "NVMM", 4);
3356 		printf("NVMM: VMX disabled in BIOS\n");
3362 		printf("NVMM: I/O reporting not supported\n");
3366 		printf("NVMM: WB memory not supported\n");
3375 		printf("NVMM: CR0 requirements not satisfied\n");
3383 		printf("NVMM: CR4 requirements not satisfied\n");
3393 		printf("NVMM: pin-based-ctls requirements not satisfied\n");
3401 		printf("NVMM: proc-based-ctls requirements not satisfied\n");
3409 		printf("NVMM: proc-based-ctls2 requirements not satisfied\n");
3423 		printf("NVMM: entry-ctls requirements not satisfied\n");
3431 		printf("NVMM: exit-ctls requirements not satisfied\n");
3437 		printf("NVMM: 4-level page tree not supported\n");
3441 		printf("NVMM: INVEPT not supported\n");
3445 		printf("NVMM: INVVPID not supported\n");
3454 		printf("NVMM: EPT UC/WB memory types not supported\n");