Kintsugi OS 0.5.0
x86 Monolithic OS
Loading...
Searching...
No Matches
runtime.h File Reference

Go to the source code of this file.

Typedefs

typedef unsigned int u32
 

Functions

int syscall (u32 number, u32 a, u32 b, u32 c, u32 d)
 
void * malloc (u32 size)
 
void free (void *pointer)
 
int read_stdin (void *buffer, u32 capacity)
 

Typedef Documentation

◆ u32

typedef unsigned int u32

Function Documentation

◆ free()

void free ( void *  pointer)

◆ malloc()

void * malloc ( u32  size)

◆ read_stdin()

int read_stdin ( void *  buffer,
u32  capacity 
)

◆ syscall()

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