2020-11-30 11:32:12 +00:00
|
|
|
#ifndef KERNAUX_INCLUDED_CONSOLE
|
2021-12-20 06:17:53 +00:00
|
|
|
#define KERNAUX_INCLUDED_CONSOLE
|
2020-11-30 11:32:12 +00:00
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2021-12-16 15:26:16 +00:00
|
|
|
#include <stddef.h>
|
|
|
|
|
2021-12-26 06:15:49 +00:00
|
|
|
void kernaux_console_putc(char c);
|
|
|
|
|
2020-11-30 11:32:12 +00:00
|
|
|
void kernaux_console_print(const char *s);
|
2022-02-01 08:28:23 +00:00
|
|
|
@comment_line_printf@void kernaux_console_printf(const char *format, ...)
|
2020-12-06 04:45:48 +00:00
|
|
|
__attribute__((format(printf, 1, 2)));
|
2020-11-30 11:32:12 +00:00
|
|
|
void kernaux_console_puts(const char *s);
|
2021-12-16 15:26:16 +00:00
|
|
|
void kernaux_console_write(const char *data, size_t size);
|
2020-11-30 11:32:12 +00:00
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|