From 85094d83224ec345174661c77032894bec95d144 Mon Sep 17 00:00:00 2001 From: sbosse Date: Thu, 17 Oct 2024 23:43:15 +0200 Subject: [PATCH] Thu 17 Oct 23:42:52 CEST 2024 --- include/library/stdio.h | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 include/library/stdio.h diff --git a/include/library/stdio.h b/include/library/stdio.h new file mode 100644 index 0000000..cc06d41 --- /dev/null +++ b/include/library/stdio.h @@ -0,0 +1,28 @@ +/* +Copyright (C) 2016-2019 The University of Notre Dame +This software is distributed under the GNU General Public License. +See the file LICENSE for details. +*/ + +#ifndef STDIO_H +#define STDIO_H + +#include "kernel/types.h" + +void printf_putchar(char c); +void printf_putstring(char *s); +void flush(); + +void draw_window(int wd); +void draw_fgcolor(int r, int g, int b); +void draw_bgcolor(int r, int g, int b); +void draw_rect(int x, int y, int w, int h); +void draw_clear(int x, int y, int w, int h); +void draw_line(int x, int y, int w, int h); +void draw_char(int x, int y, char c); +void draw_string(int x, int y, const char *s); +void draw_flush(); + +char window_getchar( int blocking ); + +#endif