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