From fbe4a5eeab2107dfe03fc097bc1f9627b222adbd Mon Sep 17 00:00:00 2001 From: aqua Date: Sun, 22 Oct 2023 18:42:58 +0300 Subject: Initial commit --- stdio.yaml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 stdio.yaml (limited to 'stdio.yaml') diff --git a/stdio.yaml b/stdio.yaml new file mode 100644 index 0000000..b7dcfb9 --- /dev/null +++ b/stdio.yaml @@ -0,0 +1,17 @@ + +includes: + stdint.h + +structs: + - name: FILE + putc: { type: fn_ptr, result: int, args: { id: uint32_t, c: char } } + puts: { type: fn_ptr, result: int, args: { id: uint32_t, s: const char* } } + id: { type: uint32_t } + +variables: + stdin: { type: const FILE * } + stdout: { type: const FILE * } + stderr: { type: const FILE * } + +functions: + printf: { result: void, args: { format: const char *__restrict__, ...: } } -- cgit v1.2.1