os_printf
os_printf("nvmm: attached, using backend %s\n", nvmm_impl->name);
os_printf("nvmm: cpu not supported\n");
os_printf("nvmm: unable to create device\n");
os_printf("nvmm: CPUID leaf not available\n");
os_printf("nvmm: SVM not supported\n");
os_printf("nvmm: SVM revision not supported\n");
os_printf("nvmm: SVM-NP not supported\n");
os_printf("nvmm: SVM-NRIPS not supported\n");
os_printf("nvmm: DecodeAssists not available; "
os_printf("nvmm: SVM disabled in BIOS\n");
os_printf("nvmm: VMX disabled in BIOS\n");
os_printf("nvmm: I/O reporting not supported\n");
os_printf("nvmm: WB memory not supported\n");
os_printf("nvmm: CR0 requirements not satisfied\n");
os_printf("nvmm: CR4 requirements not satisfied\n");
os_printf("nvmm: pin-based-ctls requirements not satisfied\n");
os_printf("nvmm: proc-based-ctls requirements not satisfied\n");
os_printf("nvmm: proc-based-ctls2 requirements not satisfied\n");
os_printf("nvmm: entry-ctls requirements not satisfied\n");
os_printf("nvmm: exit-ctls requirements not satisfied\n");
os_printf("nvmm: 4-level page tree not supported\n");
os_printf("nvmm: INVEPT not supported\n");
os_printf("nvmm: INVVPID not supported\n");
os_printf("nvmm: EPT UC/WB memory types not supported\n");