chiark / gitweb /
print object numbers in hex
authorian <ian>
Fri, 11 Apr 2008 19:05:53 +0000 (19:05 +0000)
committerian <ian>
Fri, 11 Apr 2008 19:05:53 +0000 (19:05 +0000)
hostside/realtime.c
hostside/startup.c

index fbaa090d611fa0d8c7b52c5cb5b216a195979744..bf8a011f8aa2274235b47ecbd2cc9aedd322edbc 100644 (file)
@@ -224,7 +224,7 @@ void oupicio(const char *dirn, const PicInsnInfo *pii, int objnum) {
   if (!pii->argbits)
     oprintf(UPO, "picio %s %s\n", dirn, pii->name);
   else
-    oprintf(UPO, "picio %s %s %u\n", dirn, pii->name, objnum);
+    oprintf(UPO, "picio %s %s %#x\n", dirn, pii->name, objnum);
 }
 
 void vbadcmd(ParseState *ps, const char *fmt, va_list al) {
index 1831bb3b7d8aa8303f32c863d6cf3bdeda2d8a17..2e9ed335067b290c5cd6b13de13f3530d428e11b 100644 (file)
@@ -209,7 +209,7 @@ void on_pic_spurious(const PicInsnInfo *pii, const PicInsn *pi, int objnum) {
 
 void on_pic_detect1(const PicInsnInfo *pii, const PicInsn *pi, int segn) {
   Segment *seg;
-  if (segn >= NUM_SEGMENTS) die("PIC sent detect @#%d out of range",segn);
+  if (segn >= NUM_SEGMENTS) die("PIC sent detect @#%#x out of range",segn);
 
   seg= &segments[segn];