| Line 24... |
Line 24... |
| 24 |
#ifndef __CONSOLE_H__
|
24 |
#ifndef __CONSOLE_H__
|
| 25 |
#define __CONSOLE_H__
|
25 |
#define __CONSOLE_H__
|
| 26 |
|
26 |
|
| 27 |
|
27 |
|
| 28 |
#include "global.h"
|
28 |
#include "global.h"
|
| - |
|
29 |
#include "gcc_extensions.h"
|
| 29 |
#include <stdarg.h>
|
30 |
#include <stdarg.h>
|
| 30 |
|
31 |
|
| 31 |
|
32 |
|
| 32 |
void console_init() INITCODE_ATTR;
|
33 |
void console_init() INITCODE_ATTR;
|
| 33 |
void cputc(unsigned int consoles, char string) ICODE_ATTR;
|
34 |
void cputc(unsigned int consoles, char string) ICODE_ATTR;
|
| 34 |
void cputs(unsigned int consoles, const char* string) ICODE_ATTR;
|
35 |
void cputs(unsigned int consoles, const char* string) ICODE_ATTR;
|
| 35 |
void cwrite(unsigned int consoles, const char* string, size_t length) ICODE_ATTR;
|
36 |
void cwrite(unsigned int consoles, const char* string, size_t length) ICODE_ATTR;
|
| 36 |
int cprintf(unsigned int consoles, const char* fmt, ...) ICODE_ATTR;
|
37 |
int cprintf(unsigned int consoles, const char* fmt, ...) ICODE_ATTR
|
| - |
|
38 |
ATTRIBUTE_PRINTF(2, 3);
|
| 37 |
int cvprintf(unsigned int consoles, const char* fmt, va_list ap) ICODE_ATTR;
|
39 |
int cvprintf(unsigned int consoles, const char* fmt, va_list ap) ICODE_ATTR;
|
| 38 |
void cflush(unsigned int consoles) ICODE_ATTR;
|
40 |
void cflush(unsigned int consoles) ICODE_ATTR;
|
| 39 |
int cgetc(unsigned int consoles, int timeout) ICODE_ATTR;
|
41 |
int cgetc(unsigned int consoles, int timeout) ICODE_ATTR;
|
| 40 |
int cread(unsigned int consoles, char* buffer, size_t length, int timeout) ICODE_ATTR;
|
42 |
int cread(unsigned int consoles, char* buffer, size_t length, int timeout) ICODE_ATTR;
|
| 41 |
void creada(unsigned int consoles, char* buffer, size_t length, int timeout) ICODE_ATTR;
|
43 |
void creada(unsigned int consoles, char* buffer, size_t length, int timeout) ICODE_ATTR;
|