[Timers] Do not enable serial console by default; this change should not

[people/dverkamp/gpxe.git] / src / hci / editstring.c

diff --git a/src/hci/editstring.c b/src/hci/editstring.c
index 3248333..347249f 100644 (file)
--- a/src/hci/editstring.c
+++ b/src/hci/editstring.c
@@ -27,6 +27,15 @@
  *
  */
 
+static void insert_delete ( struct edit_string *string, size_t delete_len,
+                            const char *insert_text ) 
+                           __attribute__ (( nonnull (1) ));
+static void insert_character ( struct edit_string *string,
+                               unsigned int character ) __nonnull;
+static void delete_character ( struct edit_string *string ) __nonnull;
+static void backspace ( struct edit_string *string ) __nonnull;
+static void kill_eol ( struct edit_string *string ) __nonnull;
+
 /**
  * Insert and/or delete text within an editable string
  *