blob: 62568ab122ea4d810fce8fa4e675eb895b72c88e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef THREAD_H
#define THREAD_H
struct thread
{
/* This is just a part of the Pintos Thread. */
void* pagedir;
};
/* Initiate the threading system. */
void thread_init();
/* Return a pointer to the currently active thread. */
struct thread* thread_current();
#endif
|
