PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
switch_thread()'s stack frame. More...
#include <switch.h>
Data Fields | |
uint32_t | edi |
0: Saved edi. More... | |
uint32_t | esi |
4: Saved esi. More... | |
uint32_t | ebp |
8: Saved ebp. More... | |
uint32_t | ebx |
12: Saved ebx. More... | |
void(* | eip )(void) |
16: Return address. More... | |
struct thread * | cur |
20: switch_threads()'s CUR argument. More... | |
struct thread * | next |
24: switch_threads()'s NEXT argument. More... | |
struct thread* switch_threads_frame::cur |
20: switch_threads()'s CUR argument.
uint32_t switch_threads_frame::ebp |
8: Saved ebp.
Definition at line 10 of file switch.h.
Referenced by print_stacktrace(), and thread_create().
void(* switch_threads_frame::eip) (void) |
16: Return address.
Definition at line 12 of file switch.h.
Referenced by print_stacktrace(), and thread_create().
struct thread* switch_threads_frame::next |
24: switch_threads()'s NEXT argument.