|
@@ -64,6 +64,7 @@ int gettid();
|
|
|
int donate(int tid);
|
|
|
int getpagesize();
|
|
|
pid_t fork();
|
|
|
+pid_t vfork();
|
|
|
int execv(const char* path, char* const argv[]);
|
|
|
int execve(const char* filename, char* const argv[], char* const envp[]);
|
|
|
int execvpe(const char* filename, char* const argv[], char* const envp[]);
|