diff --git a/sys/amd64/vmm/amd/svm_msr.c b/sys/amd64/vmm/amd/svm_msr.c
index 49208a351c2..48b602a0bfc 100644
--- a/sys/amd64/vmm/amd/svm_msr.c
+++ b/sys/amd64/vmm/amd/svm_msr.c
@@ -28,10 +28,13 @@
__FBSDID("$FreeBSD$");
#include <sys/param.h>
+#include <sys/pcpu.h>
+#include <sys/proc.h>
#include <sys/errno.h>
#include <sys/systm.h>
#include <machine/cpufunc.h>
+#include <machine/pcb.h>
#include <machine/specialreg.h>
#include <machine/vmm.h>
@@ -87,6 +90,7 @@ svm_msr_guest_enter(struct svm_softc *sc, int vcpu)
/*
* Save host MSRs (if any) and restore guest MSRs (if any).
*/
+ update_pcb_bases(curthread->td_pcb);
}
void