295 |
right that is returned by thread_self(). */ |
right that is returned by thread_self(). */ |
296 |
struct ipc_port *send_thread_port; |
struct ipc_port *send_thread_port; |
297 |
|
|
298 |
|
/* Exception port for this thread. Fall back on task port. */ |
299 |
|
struct ipc_port *exception_port; |
300 |
|
|
301 |
/* Scratch area for storing information between blocks. |
/* Scratch area for storing information between blocks. |
302 |
Have place for 4 points. Can also be casted to a structure. */ |
Have place for 4 points. Can also be casted to a structure. */ |
303 |
void *scratch_area [4]; |
void *scratch_area [4]; |