blob: 61138238da33d13329ead0e4eef285ec4dcd25b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
#include "console.h"
#include "string.h"
#include "stddef.h"
void console_init( console_t *console )
{
memset( console, 0, sizeof( console_t ) );
console->vga_text = NULL;
console->serial = NULL;
}
void console_add_vga_text_output( console_t *console, vga_text_t *vga_text )
{
console->vga_text = vga_text;
}
void console_add_serial_output( console_t *console, serial_t *serial )
{
console->serial = serial;
}
void console_put_char( console_t *console, const char c )
{
if( console->vga_text != NULL ) {
vga_text_put_char( console->vga_text, c );
}
if( console->serial != NULL ) {
serial_put_char( console->serial, c );
}
}
void console_put_string( console_t *console, const char *s )
{
if( console->vga_text != NULL ) {
vga_text_put_string( console->vga_text, s );
}
if( console->serial != NULL ) {
serial_put_string( console->serial, s );
}
}
void console_put_newline( console_t *console )
{
if( console->vga_text != NULL ) {
vga_text_put_newline( console->vga_text );
}
if( console->serial != NULL ) {
serial_put_newline( console->serial );
}
}
|