KintsugiOS/runtime_8h_source.html

#ifndef USER_RUNTIME_H

#define USER_RUNTIME_H

typedef unsigned int u32;

int syscall(u32 number, u32 a, u32 b, u32 c, u32 d);

void* malloc(u32 size);

void free(void* pointer);

/* Blocking line input, includes newline, returns 0 on Ctrl+D. No trailing NUL. */

int read_stdin(void* buffer, u32 capacity);

#endif

number
static void number(u32 n)
Definition commands.c:30

u32
unsigned int u32
Definition ctypes.h:11

free
void free(void *pointer)
Definition runtime.c:56

u32
unsigned int u32
Definition runtime.h:3

malloc
void * malloc(u32 size)
Definition runtime.c:20

read_stdin
int read_stdin(void *buffer, u32 capacity)
Definition runtime.c:77

syscall
int syscall(u32 number, u32 a, u32 b, u32 c, u32 d)
Definition runtime.c:3