diff --git a/devicemodel/core/console.c b/devicemodel/core/console.c
index 533c39876..7e264e562 100644
--- a/devicemodel/core/console.c
+++ b/devicemodel/core/console.c
@@ -50,12 +50,6 @@ console_init(int w, int h, void *fbaddr)
 	console.gc = gc_init(w, h, fbaddr);
 }
 
-void
-console_set_fbaddr(void *fbaddr)
-{
-	gc_set_fbaddr(console.gc, fbaddr);
-}
-
 struct gfx_ctx_image *
 console_get_image(void)
 {
diff --git a/devicemodel/include/console.h b/devicemodel/include/console.h
index 881040619..71a21c588 100644
--- a/devicemodel/include/console.h
+++ b/devicemodel/include/console.h
@@ -37,8 +37,6 @@ typedef void (*ptr_event_func_t)(uint8_t mask, int x, int y, void *arg);
 
 void	console_init(int w, int h, void *fbaddr);
 
-void	console_set_fbaddr(void *fbaddr);
-
 struct gfx_ctx_image *console_get_image(void);
 
 void	console_fb_register(fb_render_func_t render_cb, void *arg);