16 lines
325 B
C
16 lines
325 B
C
|
|
#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__ */
|
|
|