vga: make memcpy_high() public

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
diff --git a/vgasrc/vgafb.c b/vgasrc/vgafb.c
index 46adfb5..f8f35c2 100644
--- a/vgasrc/vgafb.c
+++ b/vgasrc/vgafb.c
@@ -187,8 +187,7 @@
  ****************************************************************/
 
 // Use int 1587 call to copy memory to/from the framebuffer.
-static void
-memcpy_high(void *dest, void *src, u32 len)
+void memcpy_high(void *dest, void *src, u32 len)
 {
     u64 gdt[6];
     gdt[2] = GDT_DATA | GDT_LIMIT(0xfffff) | GDT_BASE((u32)src);
diff --git a/vgasrc/vgafb.h b/vgasrc/vgafb.h
index ccdc703..aae6b9b 100644
--- a/vgasrc/vgafb.h
+++ b/vgasrc/vgafb.h
@@ -29,6 +29,7 @@
 };
 
 // vgafb.c
+void memcpy_high(void *dest, void *src, u32 len);
 void init_gfx_op(struct gfx_op *op, struct vgamode_s *vmode_g);
 void handle_gfx_op(struct gfx_op *op);
 void *text_address(struct cursorpos cp);