1-- SPDX-License-Identifier: GPL-2.0-only 2 3with Interfaces.C; 4 5with HW; 6use HW; 7 8package GMA.GFX_Init 9is 10 11 procedure gfxinit (lightup_ok : out Interfaces.C.int); 12 pragma Export (C, gfxinit, "gma_gfxinit"); 13 14 procedure gfxstop; 15 pragma Export (C, gfxstop, "gma_gfxstop"); 16 17 ---------------------------------------------------------------------------- 18 19 function c_fb_add_framebuffer_info 20 (fb_addr: Interfaces.C.size_t; 21 x_resolution : word32; 22 y_resolution : word32; 23 bytes_per_line : word32; 24 bits_per_pixel : word8) 25 return Interfaces.C.size_t; 26 27 pragma import (C, c_fb_add_framebuffer_info, "fb_add_framebuffer_info"); 28 29end GMA.GFX_Init; 30