POK(kernelpart)
|
#include <space.h>
Data Fields | |
context_t | ctx |
uint32_t | fake_ret |
unsigned int | partition_id |
uint32_t | user_pc |
uint32_t | user_sp |
uint32_t | kernel_sp |
uint32_t | arg1 |
uint32_t | arg2 |
unsigned int space_context_t::partition_id |