---
 sys/sys/pcpu.h |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

--- a/sys/sys/pcpu.h
+++ b/sys/sys/pcpu.h
@@ -41,6 +41,8 @@
 #include <sys/vmmeter.h>
 #include <sys/resource.h>
 #include <machine/pcpu.h>
+#include <sys/_types.h>
+#include <stdint.h>
 
 /*
  * Define a set for pcpu data.
@@ -150,7 +152,7 @@ struct pcpu {
 	struct thread	*pc_fpcurthread;	/* Fp state owner */
 	struct thread	*pc_deadthread;		/* Zombie thread or NULL */
 	struct pcb	*pc_curpcb;		/* Current pcb */
-	uint64_t	pc_switchtime;		/* cpu_ticks() at last csw */
+	u_int64_t	pc_switchtime;		/* cpu_ticks() at last csw */
 	int		pc_switchticks;		/* `ticks' at last csw */
 	u_int		pc_cpuid;		/* This cpu number */
 	cpumask_t	pc_cpumask;		/* This cpu mask */
