#ifndef __SYSCALL_H__
#define __SYSCALL_H__

uint64_t SystemTime();
void SystemExit(int status);
uint64_t SystemGetPID();

// Memory
void *SystemMemMap(void *addr, uint64_t len, int flags);
int SystemMemUnmap(void *addr, uint64_t len);
int SystemMemProtect(void *addr, uint64_t len, int flags);

#endif /* __SYSCALL_H__ */