diff --git a/xen/drivers/char/console.c b/xen/drivers/char/console.c
index 993532c9e8..a7ac4f59c1 100644
--- 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 50dd1e582e..553d425bae 100644
--- 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);