Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision b9c742533861d30ff1a3f7a0986e6b524800644d)
+++ kernel/generic/include/console/chardev.h	(revision a99cf073e9a8e1481a02b6120032ce29fd736ea1)
@@ -74,4 +74,7 @@
 	/** Write character to output. */
 	void (* write)(struct outdev *, wchar_t, bool);
+	
+	/** Redraw any previously cached characters. */
+	void (* redraw)(struct outdev *);
 } outdev_operations_t;
 
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision b9c742533861d30ff1a3f7a0986e6b524800644d)
+++ kernel/generic/include/console/console.h	(revision a99cf073e9a8e1481a02b6120032ce29fd736ea1)
@@ -60,7 +60,4 @@
 extern unative_t sys_debug_disable_console(void);
 
-extern void arch_grab_console(void);
-extern void arch_release_console(void);
-
 #endif /* KERN_CONSOLE_H_ */