Add a function to initialise the x87 FPU guest state.

git-svn-id: svn://svn.valgrind.org/vex/trunk@371

diff --git a/VEX/pub/libvex_guest_x86.h b/VEX/pub/libvex_guest_x86.h
index efa64331a47617e21c8e6ded4d5ff13e6df3daef..c6e67a7da16dea79779e1ce2fc00d600303ddc0b 100644 (file)
--- a/VEX/pub/libvex_guest_x86.h
+++ b/VEX/pub/libvex_guest_x86.h
@@ -132,6 +132,8 @@ void eflags_to_vex ( UInt eflags_native,
 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 */