diff --git a/src/keyboard.h b/src/keyboard.h
index 167b7d79e8f..cd5f677b963 100644
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -486,8 +486,6 @@ extern bool kbd_buffer_events_waiting (void);
 extern void add_user_signal (int, const char *);
 
 extern int tty_read_avail_input (struct terminal *, struct input_event *);
-extern bool volatile pending_signals;
-extern void process_pending_signals (void);
 extern struct timespec timer_check (void);
 extern void mark_kboards (void);