vga: make memcpy_high() public

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>

2 files changed, 2 insertions, 2 deletions

diff --git a/vgasrc/vgafb.c b/vgasrc/vgafb.c
index 46adfb5e..f8f35c2d 100644
--- a/vgasrc/vgafb.c
+++ b/vgasrc/vgafb.c
@@ -187,8 +187,7 @@ gfx_packed(struct gfx_op *op)
  ****************************************************************/
 
 // 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 ccdc7035..aae6b9b3 100644
--- a/vgasrc/vgafb.h
+++ b/vgasrc/vgafb.h
@@ -29,6 +29,7 @@ struct carattr {
 };
 
 // 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);