> +/* Get frame buffer size from VGA BIOS */> +> +unsigned int get_memsize(void)Not a good name for a globally visible function!> +unsigned long get_videobuf_addr(void)> +{Ditto