#pragma once

#include "types.h"

struct Vault;

namespace Syscall {

/*! \brief Implementation of the functionality provided via syscalls
 */
namespace Skeleton {

size_t test(Vault &vault, size_t p1, size_t p2, size_t p3, size_t p4,
			size_t p5);

int getpid(Vault &vault);
size_t write(Vault &vault, uint32_t id, const void *buffer, size_t size);
size_t read(Vault &vault, uint32_t id);
void sleep(Vault &vault, size_t ms);
bool sem_init(Vault &vault, size_t id, uint32_t value);
void sem_destroy(Vault &vault, size_t id);
void sem_signal(Vault &vault, size_t id);
void sem_wait(Vault &vault, size_t id);
void exit(Vault &vault);
void kill(Vault &vault, int pid);

}  // namespace Skeleton
}  // namespace Syscall