From 1d22b488a9eb49d05f478d691a7394e07591ada1 Mon Sep 17 00:00:00 2001 From: Mark Pizzolato Date: Sat, 7 Apr 2018 22:30:59 -0700 Subject: [PATCH] PDP11: Add new debug API support to VT11 device, fix broken build --- display/vt11.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/display/vt11.c b/display/vt11.c index 2d5c6ee0..dee39e6e 100644 --- a/display/vt11.c +++ b/display/vt11.c @@ -144,9 +144,9 @@ extern "C" { int vt11_debug; #if defined(VM_PDP11) -extern void _sim_debug (unsigned int dbits, DEVICE* dptr, const char* fmt, ...); +extern void _sim_debug_device (unsigned int dbits, DEVICE* dptr, const char* fmt, ...); -#define DEBUGF(...) _sim_debug (vt11_dbit, vt11_dptr, ## __VA_ARGS__) +#define DEBUGF(...) _sim_debug_device (vt11_dbit, vt11_dptr, ## __VA_ARGS__) #else /* DEBUG_VT11 */ #define DEBUGF(...) do {if (vt11_debug & DBG_CALL) { printf(## __VA_ARGS__); fflush(stdout); };} while (0) #endif /* defined(DEBUG_VT11) || defined(VM_PDP11) */