X-Git-Url: https://git.sur5r.net/?a=blobdiff_plain;f=arch%2Fx86%2Flib%2Fvideo.c;h=dfd2a8496e72e10fcec3fcbad750babac54aea8e;hb=254d68b6011c33af189d006243920c296592fca7;hp=b29075c490a48ce14e3c3c485fdb21bbcc198172;hpb=4f27f0ab984b3cabd696b1ad73bbe77e27756c73;p=u-boot diff --git a/arch/x86/lib/video.c b/arch/x86/lib/video.c index b29075c490..dfd2a8496e 100644 --- a/arch/x86/lib/video.c +++ b/arch/x86/lib/video.c @@ -1,24 +1,8 @@ /* * (C) Copyright 2002 - * Daniel Engström, Omicron Ceti AB, + * Daniel Engström, Omicron Ceti AB, * - * See file CREDITS for list of people who contributed to this - * project. - * - * This program is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License as - * published by the Free Software Foundation; either version 2 of - * the License, or (at your option) any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, - * MA 02111-1307 USA + * SPDX-License-Identifier: GPL-2.0+ */ #include @@ -26,7 +10,6 @@ #include #include #include -#include #include #include @@ -123,7 +106,7 @@ static void __video_putc(const char c, int *x, int *y) static void video_putc(const char c) { - int x,y,pos; + int x, y, pos; x = orig_x; y = orig_y; @@ -142,7 +125,7 @@ static void video_putc(const char c) static void video_puts(const char *s) { - int x,y,pos; + int x, y, pos; char c; x = orig_x; @@ -187,7 +170,7 @@ int video_init(void) printf("pos %x %d %d\n", pos, orig_x, orig_y); #endif if (orig_y > lines) - orig_x = orig_y =0; + orig_x = orig_y = 0; memset(&vga_dev, 0, sizeof(vga_dev)); strcpy(vga_dev.name, "vga"); @@ -222,8 +205,5 @@ int video_init(void) int drv_video_init(void) { - if (video_bios_init()) - return 1; - return video_init(); }