#pragma once

#include <stddef.h>

uint64_t syscall(int32_t num, ...);

int32_t getpid(void);
size_t uart_read(char buf[], size_t size);
size_t uart_write(const char buf[], size_t size);
int32_t exec(const char *name, char *const argv[]);
int32_t fork(void);
void exit(int32_t status);
int32_t mbox_call(uint8_t ch, uint32_t *mbox);
void kill(int32_t pid);