Add a function to initialise the x87 FPU guest state.


git-svn-id: svn://svn.valgrind.org/vex/trunk@371 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/pub/libvex_guest_x86.h b/pub/libvex_guest_x86.h
index efa6433..c6e67a7 100644
--- a/pub/libvex_guest_x86.h
+++ b/pub/libvex_guest_x86.h
@@ -132,6 +132,8 @@
 extern 
 UInt vex_to_eflags ( /*IN*/VexGuestX86State* vex_state );
 
+extern
+void vex_initialise_x87 ( /*MOD*/VexGuestX86State* vex_state );
 
 #endif /* ndef __LIBVEX_PUB_GUEST_X86_H */