diff options
author | araujo <araujo@FreeBSD.org> | 2014-10-28 07:19:02 +0000 |
---|---|---|
committer | araujo <araujo@FreeBSD.org> | 2014-10-28 07:19:02 +0000 |
commit | 8a51fd3c94dcfa3c66dc6159a1fc1e5c9c6a6e41 (patch) | |
tree | 0d1179291617dce14b03ad77542f1e3d2df12a28 /sys/amd64/vmm | |
parent | bf3b8650d66d62361b7e5690e6a7b7ee67f47a18 (diff) | |
download | FreeBSD-src-8a51fd3c94dcfa3c66dc6159a1fc1e5c9c6a6e41.zip FreeBSD-src-8a51fd3c94dcfa3c66dc6159a1fc1e5c9c6a6e41.tar.gz |
Reported by: Coverity
CID: 1249760
Reviewed by: neel
Approved by: neel
Sponsored by: QNAP Systems Inc.
Diffstat (limited to 'sys/amd64/vmm')
-rw-r--r-- | sys/amd64/vmm/amd/vmcb.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/amd64/vmm/amd/vmcb.c b/sys/amd64/vmm/amd/vmcb.c index 8be2308..fb4b2c8 100644 --- a/sys/amd64/vmm/amd/vmcb.c +++ b/sys/amd64/vmm/amd/vmcb.c @@ -389,6 +389,7 @@ vmcb_setdesc(void *arg, int vcpu, int reg, struct seg_desc *desc) case VM_REG_GUEST_ES: case VM_REG_GUEST_SS: svm_set_dirty(sc, vcpu, VMCB_CACHE_SEG); + break; case VM_REG_GUEST_GDTR: case VM_REG_GUEST_IDTR: svm_set_dirty(sc, vcpu, VMCB_CACHE_DT); |