Remove unused function console_force_lock().

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index 993532c9e86a15236662d706a92dadb67b8c0fd7..a7ac4f59c1dc81a6dcd34daf6dcfa1c4f5fc4d84 100644 (file)
--- a/xen/drivers/char/console.c
+++ b/xen/drivers/char/console.c
@@ -705,11 +705,6 @@ void console_force_unlock(void)
     console_start_sync();
 }
 
-void console_force_lock(void)
-{
-    spin_lock(&console_lock);
-}
-
 void console_start_sync(void)
 {
     atomic_inc(&print_everything);

diff --git a/xen/include/xen/console.h b/xen/include/xen/console.h
index 50dd1e582e6b69d5a1f70f1a5c2479b9124aeefd..553d425bae22774b9a275ae61a3c4c74151f7752 100644 (file)
--- a/xen/include/xen/console.h
+++ b/xen/include/xen/console.h
@@ -22,7 +22,6 @@ int console_has(const char *device);
 int fill_console_start_info(struct dom0_vga_console_info *);
 
 void console_force_unlock(void);
-void console_force_lock(void);
 
 void console_start_sync(void);
 void console_end_sync(void);