diff options
| author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2019-03-10 07:35:34 +0000 |
|---|---|---|
| committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2019-03-10 07:35:34 +0000 |
| commit | 626d6fc07620486bab7bc50c86bdf461a162f585 (patch) | |
| tree | 60e42c8ec36d5582f196ce7c7da69f688a68ed9a /sys/arch | |
| parent | f0a09737c9214a057bef51b20677739d4e73be30 (diff) | |
vmm(4): add a debug printf if the host does not have writeback memory
type for EPT
Noticed by Guillaume Pagnoux and myself while cleaning up some old bugs.
Diffstat (limited to 'sys/arch')
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index 06c55a2704f..bb783f49e4a 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.229 2019/02/20 06:59:16 mlarkin Exp $ */ +/* $OpenBSD: vmm.c,v 1.230 2019/03/10 07:35:33 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -2567,7 +2567,9 @@ vcpu_reset_regs_vmx(struct vcpu *vcpu, struct vcpu_reg_state *vrs) if (msr & IA32_EPT_VPID_CAP_WB) { /* WB cache type supported */ eptp |= IA32_EPT_PAGING_CACHE_TYPE_WB; - } + } else + DPRINTF("%s: no WB cache type available, guest VM " + "will run uncached\n", __func__); DPRINTF("Guest EPTP = 0x%llx\n", eptp); if (vmwrite(VMCS_GUEST_IA32_EPTP, eptp)) { |