Added AMD64 skeleton, just defining LibVEX_GuestAMD64_initialise().
git-svn-id: svn://svn.valgrind.org/vex/trunk@601 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/pub/libvex_guest_amd64.h b/pub/libvex_guest_amd64.h
index 35aa26d..b70c681 100644
--- a/pub/libvex_guest_amd64.h
+++ b/pub/libvex_guest_amd64.h
@@ -89,14 +89,14 @@
/*--- Utility functions for amd64 guest stuff. ---*/
/*---------------------------------------------------------------*/
-#if 0
/* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */
/* Initialise all guest x86 state. The FPU is put in default mode. */
extern
-void LibVEX_GuestX86_initialise ( /*OUT*/VexGuestX86State* vex_state );
+void LibVEX_GuestAMD64_initialise ( /*OUT*/VexGuestAMD64State* vex_state );
+#if 0
/* Convert a saved x87 FPU image (as created by fsave) and write it
into the supplied VexGuestX86State structure. The non-FP parts of
said structure are left unchanged.