/* --- DIRTY HELPERS --- */
-extern ULong amd64g_loadF80le ( ULong/*addr*/ );
+extern ULong amd64g_dirtyhelper_loadF80le ( ULong/*addr*/ );
-extern void amd64g_storeF80le ( ULong/*addr*/, ULong/*data*/ );
+extern void amd64g_dirtyhelper_storeF80le ( ULong/*addr*/, ULong/*data*/ );
-extern void amd64g_dirtyhelper_CPUID ( VexGuestAMD64State* st );
+extern void amd64g_dirtyhelper_CPUID ( VexGuestAMD64State* st );
extern ULong amd64g_dirtyhelper_RDTSC ( void );
/* CALLED FROM GENERATED CODE */
/* DIRTY HELPER (reads guest memory) */
-ULong amd64g_loadF80le ( ULong addrU )
+ULong amd64g_dirtyhelper_loadF80le ( ULong addrU )
{
ULong f64;
convert_f80le_to_f64le ( (UChar*)ULong_to_Ptr(addrU), (UChar*)&f64 );
/* CALLED FROM GENERATED CODE */
/* DIRTY HELPER (writes guest memory) */
-void amd64g_storeF80le ( ULong addrU, ULong f64 )
+void amd64g_dirtyhelper_storeF80le ( ULong addrU, ULong f64 )
{
convert_f64le_to_f80le( (UChar*)&f64, (UChar*)ULong_to_Ptr(addrU) );
}
IRDirty* d = unsafeIRDirty_1_N (
val,
0/*regparms*/,
- "amd64g_loadF80le", &amd64g_loadF80le,
+ "amd64g_dirtyhelper_loadF80le",
+ &amd64g_dirtyhelper_loadF80le,
args
);
/* declare that we're reading memory */
IRDirty* d = unsafeIRDirty_0_N (
0/*regparms*/,
- "amd64g_storeF80le", &amd64g_storeF80le,
+ "amd64g_dirtyhelper_storeF80le",
+ &amd64g_dirtyhelper_storeF80le,
args
);
/* declare we're writing memory */