diff --git a/sys/src/9/xen/fns.h b/sys/src/9/xen/fns.h
index 9dd3d239e..f1e047654 100644
--- a/sys/src/9/xen/fns.h
+++ b/sys/src/9/xen/fns.h
@@ -9,7 +9,8 @@ void	clockintr(Ureg*, void*);
 int		(*cmpswap)(long*, long, long);
 int		cmpswap486(long*, long, long);
 void	(*coherence)(void);
-void	cpuid(int, ulong regs[]);
+void	cpuid(int, int, ulong regs[]);
+void	fpuinit(void);
 int		cpuidentify(void);
 void	cpuidprint(void);
 void	(*cycles)(uvlong*);
diff --git a/sys/src/9/xen/mkfile b/sys/src/9/xen/mkfile
index e97857c01..befd7aed9 100644
--- a/sys/src/9/xen/mkfile
+++ b/sys/src/9/xen/mkfile
@@ -68,6 +68,7 @@ OBJ=\
 	plan9l.$O\
 	xen.$O\
 	main.$O\
+	fpu.$O\
 	mmu.$O\
 	random.$O\
 	rdb.$O\