|
PatchworkOS
19e446b
A non-POSIX operating system.
|
Per-CPU VMM context. More...
#include <vmm.h>
Data Fields | |
| vmm_shootdown_t | shootdowns [VMM_MAX_SHOOTDOWN_REQUESTS] |
| uint8_t | shootdownCount |
| lock_t | lock |
| space_t * | space |
| Will only be accessed by the owner CPU, so no lock. | |
| vmm_shootdown_t vmm_cpu_t::shootdowns[VMM_MAX_SHOOTDOWN_REQUESTS] |
| space_t* vmm_cpu_t::space |