projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Only call addrspace_destroy() if USERPROG.
[pintos-anon]
/
src
/
threads
/
thread.h
diff --git
a/src/threads/thread.h
b/src/threads/thread.h
index c4520580fcbca7b20bc1596eeb7bcc538db06d10..1dfde5ac9b03867f94a545f08cc2a7bb2ac83435 100644
(file)
--- a/
src/threads/thread.h
+++ b/
src/threads/thread.h
@@
-37,7
+37,8
@@
struct thread
void thread_init (void);
void thread_start (void) NO_RETURN;
void thread_init (void);
void thread_start (void) NO_RETURN;
-struct thread *thread_create (const char *name, void (*) (void *aux), void *);
+typedef void thread_func (void *aux);
+struct thread *thread_create (const char *name, thread_func *, void *);
#ifdef USERPROG
bool thread_execute (const char *filename);
#endif
#ifdef USERPROG
bool thread_execute (const char *filename);
#endif