silence unused variables in the DOS and DOS VGA ports

dos/pdcsetsc.c

@@ -76,6 +76,7 @@ int PDC_curs_set(int visibility)
 
 void PDC_set_title(const char *title)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(title);
     PDC_LOG(("PDC_set_title() - called: <%s>\n", title));
 }
 

dosvga/pdckbd.c

@@ -80,6 +80,7 @@ static const unsigned short button_map[3] = {0, 2, 1};
 
 void PDC_set_keyboard_binary(bool on)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(on);
     PDC_LOG(("PDC_set_keyboard_binary() - called\n"));
 
 #ifdef __DJGPP__

dosvga/pdcscrn.c

@@ -1370,22 +1370,26 @@ static int _vgafont_open(void)
 
 static void _vgafont_close(bool bold)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(bold);
     /* no operation */
 }
 
 static unsigned _vgafont_char_width(bool bold)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(bold);
     return 8;
 }
 
 static unsigned _vgafont_char_height(bool bold)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(bold);
     return 14;
 }
 
 static const unsigned char *_vgafont_glyph_data(bool bold, unsigned long pos)
 {
     unsigned pos437;
+    INTENTIONALLY_UNUSED_PARAMETER(bold);
 #ifdef PDC_WIDE
     pos437 = _unicode_to_cp437(pos);
 #else
@@ -1734,4 +1738,8 @@ and probably never will.         */
 void PDC_set_resize_limits( const int new_min_lines, const int new_max_lines,
                   const int new_min_cols, const int new_max_cols)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(new_min_lines);
+    INTENTIONALLY_UNUSED_PARAMETER(new_max_lines);
+    INTENTIONALLY_UNUSED_PARAMETER(new_min_cols);
+    INTENTIONALLY_UNUSED_PARAMETER(new_max_cols);
 }

dosvga/pdcsetsc.c

@@ -73,6 +73,7 @@ int PDC_curs_set(int visibility)
 
 void PDC_set_title(const char *title)
 {
+    INTENTIONALLY_UNUSED_PARAMETER(title);
     PDC_LOG(("PDC_set_title() - called: <%s>\n", title));
 }