z_eflags = VG_(baseBlock)[VGOFF_(sh_eflags)];
uint_to_bits(z_eflags, buf1);
- VG_(message)(Vg_DebugMsg, "efl %\n", buf1);
+ VG_(message)(Vg_DebugMsg, "efl %s\n", buf1);
uint_to_bits(z_eax, buf1);
uint_to_bits(z_ebx, buf2);
SET_EDX(tid, 0);
if (VG_(clo_trace_sched)) {
VG_(sprintf)(msg_buf,
- "tid %d not detached because %d in join-wait for it %d",
+ "tid %d not detached because %d in join-wait for it",
det, i);
print_sched_event(tid, msg_buf);
}
extern void SK_(helper_value_check0_fail) ( void );
/* Functions defined in vg_memcheck.c */
-extern void SK_(helperc_STOREV4) ( UInt, Addr );
-extern void SK_(helperc_STOREV2) ( UInt, Addr );
-extern void SK_(helperc_STOREV1) ( UInt, Addr );
+extern void SK_(helperc_STOREV4) ( Addr, UInt );
+extern void SK_(helperc_STOREV2) ( Addr, UInt );
+extern void SK_(helperc_STOREV1) ( Addr, UInt );
extern UInt SK_(helperc_LOADV1) ( Addr );
extern UInt SK_(helperc_LOADV2) ( Addr );
z_eflags = VG_(baseBlock)[VGOFF_(sh_eflags)];
uint_to_bits(z_eflags, buf1);
- VG_(message)(Vg_DebugMsg, "efl %\n", buf1);
+ VG_(message)(Vg_DebugMsg, "efl %s\n", buf1);
uint_to_bits(z_eax, buf1);
uint_to_bits(z_ebx, buf2);