From 0db0236bedee9841bbf146598e9ff08ad468b54b Mon Sep 17 00:00:00 2001
From: Mark Pizzolato <mark@infocomm.com>
Date: Thu, 5 Jan 2017 13:30:57 -0800
Subject: [PATCH] PDP11: Add more debug info to PCLK device

---
 PDP11/pdp11_pclk.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/PDP11/pdp11_pclk.c b/PDP11/pdp11_pclk.c
index e6b5f670..af94075e 100644
--- a/PDP11/pdp11_pclk.c
+++ b/PDP11/pdp11_pclk.c
@@ -382,7 +382,7 @@ if (pclk_csr & CSR_DONE)                                /* done already set? */
 else
     pclk_csr = pclk_csr | CSR_DONE;                     /* else set done */
 if (pclk_csr & CSR_IE) {                                /* if IE, set int */
-    sim_debug (DBG_INT, &pclk_dev, "iccs_svc() - INT=1\n");
+    sim_debug (DBG_INT, &pclk_dev, "pclk_svc() - INT=1\n");
     SET_INT (PCLK);
     }
 if (pclk_csr & CSR_MODE)                                /* if rpt, reload */
@@ -398,6 +398,7 @@ return SCPE_OK;
 
 t_stat pclk_reset (DEVICE *dptr)
 {
+sim_debug(DBG_REG, &pclk_dev, "pclk_reset()\n");
 pclk_csr = 0;                                           /* clear reg */
 pclk_csb = 0;
 pclk_ctr = 0;