void *code_to_patch,
const ULong *location_of_counter);
-/* KLUDGE: See detailled comment in host_s390_defs.c. */
+/* KLUDGE: See detailled comment in main_main.c. */
extern UInt s390_host_hwcaps;
/* Convenience macros to test installed facilities */
/* A general replacement for printf(). Note that only low-level
- debugging info should be sent via here. The official route is to
- to use vg_message(). This interface is deprecated.
+ debugging info should be sent via here.
*/
static HChar myprintf_buf[1000];
static Int n_myprintf_buf;