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);