RPV Event driven kernel
Loading...
Searching...
No Matches
kernel_stdio.h
1#pragma once
2
3#include <stdarg.h>
4#include <stddef.h>
5#include <stdint.h>
6#include <stdbool.h>
7
8#include "events.h"
9
10/* -------------------------------------------------------------------------- */
11/* Kernel STDIO Initialization */
12/* -------------------------------------------------------------------------- */
13
31void _kernel_stdio(void);
32
33/* -------------------------------------------------------------------------- */
34/* Output Functions */
35/* -------------------------------------------------------------------------- */
36
44void _kernel_outLn(void);
45
53void _kernel_outTab(void);
54
64void _kernel_outChar(const char code);
65
74void _kernel_outString(const char *str);
75
92void _kernel_outStringFormat(const char *fmt, ...);
93
94/* -------------------------------------------------------------------------- */
95/* String Formatting */
96/* -------------------------------------------------------------------------- */
97
114void _kernel_stringFormat(char *s, char const *fmt, ...);
115
133 char const *fmt,
134 va_list args);
135
136/* -------------------------------------------------------------------------- */
137/* Input Functions */
138/* -------------------------------------------------------------------------- */
139
156
void _kernel_vstringFormat(char *s, char const *fmt, va_list args)
Formats a string using a va_list argument.
void _kernel_getKey(console_key_t *key)
Retrieves a key event (blocking).
void _kernel_stdio(void)
Initializes kernel standard I/O subsystem.
void _kernel_stringFormat(char *s, char const *fmt,...)
Formats a string into a buffer.
void _kernel_outTab(void)
Outputs a horizontal tab.
bool _kernel_tryGetKey(console_key_t *key)
Attempts to retrieve a key event (non-blocking).
void _kernel_outString(const char *str)
Outputs a null-terminated string.
void _kernel_outStringFormat(const char *fmt,...)
Outputs a formatted string.
void _kernel_outChar(const char code)
Outputs a single character.
void _kernel_outLn(void)
Outputs a newline sequence.
Console key event data.
Definition events.h:50