Symbol: os_printf
sys/dev/virtual/nvmm/nvmm_dragonfly.c
361
os_printf("nvmm: attached, using backend %s\n", nvmm_impl->name);
sys/dev/virtual/nvmm/nvmm_dragonfly.c
385
os_printf("nvmm: cpu not supported\n");
sys/dev/virtual/nvmm/nvmm_dragonfly.c
394
os_printf("nvmm: unable to create device\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2588
os_printf("nvmm: CPUID leaf not available\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2595
os_printf("nvmm: SVM not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2602
os_printf("nvmm: SVM revision not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2608
os_printf("nvmm: SVM-NP not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2614
os_printf("nvmm: SVM-NRIPS not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2620
os_printf("nvmm: DecodeAssists not available; "
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
2626
os_printf("nvmm: SVM disabled in BIOS\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3370
os_printf("nvmm: VMX disabled in BIOS\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3376
os_printf("nvmm: I/O reporting not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3380
os_printf("nvmm: WB memory not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3389
os_printf("nvmm: CR0 requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3398
os_printf("nvmm: CR4 requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3408
os_printf("nvmm: pin-based-ctls requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3416
os_printf("nvmm: proc-based-ctls requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3424
os_printf("nvmm: proc-based-ctls2 requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3438
os_printf("nvmm: entry-ctls requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3446
os_printf("nvmm: exit-ctls requirements not satisfied\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3452
os_printf("nvmm: 4-level page tree not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3456
os_printf("nvmm: INVEPT not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3460
os_printf("nvmm: INVVPID not supported\n");
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3472
os_printf("nvmm: EPT UC/WB memory types not supported\n");