1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2007 Lemote Inc. & Institute of Computing Technology
4 * Author: Fuxin Zhang, zhangfx@lemote.com
6 #include <linux/export.h>
7 #include <linux/init.h>
9 #include <asm/wbflush.h>
10 #include <asm/bootinfo.h>
15 #include <linux/console.h>
16 #include <linux/screen_info.h>
19 static void wbflush_loongson(void)
30 void (*__wbflush
)(void) = wbflush_loongson
;
31 EXPORT_SYMBOL(__wbflush
);
33 void __init
plat_mem_setup(void)
36 #if defined(CONFIG_VGA_CONSOLE)
37 conswitchp
= &vga_con
;
39 screen_info
= (struct screen_info
) {
42 .orig_video_cols
= 80,
43 .orig_video_lines
= 25,
44 .orig_video_isVGA
= VIDEO_TYPE_VGAC
,
45 .orig_video_points
= 16,
47 #elif defined(CONFIG_DUMMY_CONSOLE)
48 conswitchp
= &dummy_con
;