PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Stack frame for switch_entry(). More...
#include <switch.h>
Data Fields | |
void(* | eip )(void) |
Stack frame for switch_entry().
void(* switch_entry_frame::eip) (void) |
Definition at line 25 of file switch.h.
Referenced by thread_create().