diff --git a/sys/x86/x86/tsc.c b/sys/x86/x86/tsc.c
index 0ebcea895cd3..15e6037c68ee 100644
--- a/sys/x86/x86/tsc.c
+++ b/sys/x86/x86/tsc.c
@@ -511,6 +511,7 @@ test_tsc(int adj_max_count)
 	if (vm_guest == VM_GUEST_VBOX)
 		return (0);
 
+	TSENTER();
 	size = (mp_maxid + 1) * 3;
 	data = malloc(sizeof(*data) * size * N, M_TEMP, M_WAITOK);
 	adj = 0;
@@ -531,6 +532,7 @@ test_tsc(int adj_max_count)
 		printf("SMP: %sed TSC synchronization test%s\n",
 		    smp_tsc ? "pass" : "fail", 
 		    adj > 0 ? " after adjustment" : "");
+	TSEXIT();
 	if (smp_tsc && tsc_is_invariant) {
 		switch (cpu_vendor_id) {
 		case CPU_VENDOR_AMD: