MOS Source Code
|
#include <platform.h>
Public Attributes | |
u32 | id |
thread_t * | thread |
ptr_t | scheduler_stack |
mm_context_t * | mm_context |
platform_regs_t * | interrupt_regs |
the registers of whatever interrupted this CPU | |
platform_cpuinfo_t | cpuinfo |
thread_t * | idle_thread |
idle thread for this CPU | |
Definition at line 88 of file platform.h.
u32 id |
Definition at line 90 of file platform.h.
thread_t* thread |
Definition at line 91 of file platform.h.
Referenced by reschedule().
ptr_t scheduler_stack |
Definition at line 92 of file platform.h.
mm_context_t* mm_context |
Definition at line 93 of file platform.h.
Referenced by reschedule().
platform_regs_t* interrupt_regs |
the registers of whatever interrupted this CPU
Definition at line 94 of file platform.h.
platform_cpuinfo_t cpuinfo |
Definition at line 95 of file platform.h.
thread_t* idle_thread |
idle thread for this CPU
Definition at line 96 of file platform.h.
Referenced by create_idle_task(), and reschedule().