PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Stack frame for kernel_thread(). More...
Data Fields | |
void * | eip |
Return address. More... | |
thread_func * | function |
Function to call. More... | |
void * | aux |
Auxiliary data for function. More... | |
Stack frame for kernel_thread().
void* kernel_thread_frame::aux |
void* kernel_thread_frame::eip |
thread_func* kernel_thread_frame::function |