|
PatchworkOS
da8a090
A non-POSIX operating system.
|
Per-CPU VMM context. More...
#include <vmm.h>
Data Fields | |
| list_entry_t | entry |
| Used by a space to know which CPUs are using it, protected by the space lock. | |
| vmm_shootdown_t | shootdowns [VMM_MAX_SHOOTDOWN_REQUESTS] |
| uint8_t | shootdownCount |
| lock_t | lock |
| space_t * | currentSpace |
| Will only be accessed by the owner CPU, so no lock. | |
| list_entry_t vmm_cpu_ctx_t::entry |
| vmm_shootdown_t vmm_cpu_ctx_t::shootdowns[VMM_MAX_SHOOTDOWN_REQUESTS] |
| space_t* vmm_cpu_ctx_t::currentSpace |