#ifndef SYSTEM_H
#define SYSTEM_H

#include <stdint.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/time.h>
#include <linux/unistd.h>


void *system_mmap(void *start, size_t length, int prot, int flags, int fd, off_t offset);
int system_munmap (uint8_t *start, size_t size);
int system_mprotect (const void *addr, size_t len, int prot);
void system_write (int fd, const void *buf, size_t size);
int system_open_ro (const char *file);
int system_read (int fd, void *buffer, size_t to_read);
int system_lseek (int fd, off_t offset, int whence);
int system_fstat (const char *file, struct stat *buf);
void system_close (int fd);
void system_exit (int status);
int system_getpagesize (void);
void system_futex_wake (uint32_t *uaddr, uint32_t val);
void system_futex_wait (uint32_t *uaddr, uint32_t val);

#endif /* SYSTEM_H */