list_elem elem; /* List element. */
#ifdef USERPROG
- /* Owned by userprog/addrspace.c. */
+ /* Owned by userprog/process.c. */
uint32_t *pagedir; /* Page directory. */
#endif
void thread_init (void);
void thread_start (void);
+void thread_tick (void);
+void thread_print_stats (void);
typedef void thread_func (void *aux);
tid_t thread_create (const char *name, int priority, thread_func *, void *);