mirror of
https://gitlab.com/qemu-project/openbios.git
synced 2024-02-13 08:34:06 +08:00
bf897f1619
from lots of different C files into a single header. Signed-off-by: Mark Cave-Ayland <mark.cave-ayland@siriusit.co.uk> git-svn-id: svn://coreboot.org/openbios/trunk/openbios-devel@696 f158a5a8-5612-0410-a976-696ce0be7e32
111 lines
2.1 KiB
C
111 lines
2.1 KiB
C
/*
|
|
* Copyright (C) 2003, 2004 Stefan Reinauer
|
|
*
|
|
* See the file "COPYING" for further information about
|
|
* the copyright and warranty status of this work.
|
|
*/
|
|
|
|
#include "config.h"
|
|
#include "kernel/kernel.h"
|
|
#include "drivers/drivers.h"
|
|
#include "openbios.h"
|
|
#include "libopenbios/console.h"
|
|
#include "libopenbios/ofmem.h"
|
|
|
|
void cls(void);
|
|
|
|
#ifdef CONFIG_DEBUG_CONSOLE
|
|
|
|
/* ******************************************************************
|
|
* simple polling video/keyboard console functions
|
|
* ****************************************************************** */
|
|
|
|
#ifdef CONFIG_DEBUG_CONSOLE_VIDEO
|
|
|
|
#define VMEM_BASE 0x00800000ULL
|
|
#define VMEM_SIZE (1024*768*1)
|
|
#define DAC_BASE 0x00200000ULL
|
|
#define DAC_SIZE 16
|
|
|
|
unsigned char *vmem;
|
|
volatile uint32_t *dac;
|
|
|
|
static void video_putchar(int c)
|
|
{
|
|
char buf[2];
|
|
|
|
buf[0] = c & 0xff;
|
|
buf[1] = 0;
|
|
|
|
console_draw_str(buf);
|
|
}
|
|
|
|
static void video_cls(void)
|
|
{
|
|
memset((void *)vmem, 0, VMEM_SIZE);
|
|
}
|
|
|
|
void tcx_init(uint64_t base)
|
|
{
|
|
vmem = map_io(base + VMEM_BASE, VMEM_SIZE);
|
|
dac = map_io(base + DAC_BASE, DAC_SIZE);
|
|
|
|
console_init();
|
|
}
|
|
|
|
#endif
|
|
|
|
/* ******************************************************************
|
|
* common functions, implementing simple concurrent console
|
|
* ****************************************************************** */
|
|
|
|
int putchar(int c)
|
|
{
|
|
#ifdef CONFIG_DEBUG_CONSOLE_SERIAL
|
|
serial_putchar(c);
|
|
#endif
|
|
#ifdef CONFIG_DEBUG_CONSOLE_VIDEO
|
|
video_putchar(c);
|
|
#endif
|
|
return c;
|
|
}
|
|
|
|
int availchar(void)
|
|
{
|
|
#ifdef CONFIG_DEBUG_CONSOLE_SERIAL
|
|
if (uart_charav(CONFIG_SERIAL_PORT))
|
|
return 1;
|
|
#endif
|
|
#ifdef CONFIG_DEBUG_CONSOLE_VIDEO
|
|
if (keyboard_dataready())
|
|
return 1;
|
|
#endif
|
|
return 0;
|
|
}
|
|
|
|
int getchar(void)
|
|
{
|
|
#ifdef CONFIG_DEBUG_CONSOLE_SERIAL
|
|
if (uart_charav(CONFIG_SERIAL_PORT))
|
|
return (uart_getchar(CONFIG_SERIAL_PORT));
|
|
#endif
|
|
#ifdef CONFIG_DEBUG_CONSOLE_VIDEO
|
|
if (keyboard_dataready())
|
|
return (keyboard_readdata());
|
|
#endif
|
|
return 0;
|
|
}
|
|
|
|
void cls(void)
|
|
{
|
|
#ifdef CONFIG_DEBUG_CONSOLE_SERIAL
|
|
serial_cls();
|
|
#endif
|
|
#ifdef CONFIG_DEBUG_CONSOLE_VIDEO
|
|
video_cls();
|
|
#endif
|
|
}
|
|
|
|
|
|
#endif // CONFIG_DEBUG_CONSOLE
|