2022-02-24 18:11:09 +02:00
|
|
|
#ifndef _KSTD_H
|
|
|
|
|
#define _KSTD_H
|
|
|
|
|
|
|
|
|
|
#include <stdbool.h>
|
|
|
|
|
|
2022-02-24 21:16:28 +02:00
|
|
|
int kputchar(int ic);
|
2022-02-24 18:11:09 +02:00
|
|
|
int kprintf(const char* restrict format, ...);
|
|
|
|
|
void kputs(const char* data);
|
2022-02-24 21:57:59 +02:00
|
|
|
|
|
|
|
|
__attribute__((__noreturn__))
|
|
|
|
|
void kabort(void);
|
2022-02-24 18:11:09 +02:00
|
|
|
|
|
|
|
|
#endif
|
