diff --git a/BLD/build/HEADERS/92-vmkdrivers-asm-x64/vmkernel64/release/asm/fpu32.h b/BLD/build/HEADERS/92-vmkdrivers-asm-x64/vmkernel64/release/asm/fpu32.h
new file mode 100644
index 0000000000000000000000000000000000000000..dce9f6f4b5cd452421d63f76c86dee5fd57be7b8
--- /dev/null
+++ b/BLD/build/HEADERS/92-vmkdrivers-asm-x64/vmkernel64/release/asm/fpu32.h
@@ -0,0 +1,13 @@
+#ifndef _FPU32_H
+#define _FPU32_H 1
+
+struct _fpstate_ia32;
+
+int restore_i387_ia32(struct task_struct *tsk, struct _fpstate_ia32 __user *buf, int fsave);
+int save_i387_ia32(struct task_struct *tsk, struct _fpstate_ia32 __user *buf, 
+		   struct pt_regs *regs, int fsave);
+
+int get_fpregs32(struct user_i387_ia32_struct *, struct task_struct *);
+int set_fpregs32(struct task_struct *, const struct user_i387_ia32_struct *);
+
+#endif