|
PatchworkOS
|
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. | |
| space_t* vmm_cpu_ctx_t::currentSpace |
Will only be accessed by the owner CPU, so no lock.
Definition at line 114 of file vmm.h.
Referenced by space_load(), and vmm_cpu_ctx_init_common().
| list_entry_t vmm_cpu_ctx_t::entry |
Used by a space to know which CPUs are using it, protected by the space lock.
Definition at line 110 of file vmm.h.
Referenced by space_load(), and vmm_cpu_ctx_init_common().
| lock_t vmm_cpu_ctx_t::lock |
Definition at line 113 of file vmm.h.
Referenced by space_tlb_shootdown(), vmm_cpu_ctx_init_common(), and vmm_shootdown_handler().
| uint8_t vmm_cpu_ctx_t::shootdownCount |
Definition at line 112 of file vmm.h.
Referenced by space_tlb_shootdown(), vmm_cpu_ctx_init_common(), and vmm_shootdown_handler().
| vmm_shootdown_t vmm_cpu_ctx_t::shootdowns[VMM_MAX_SHOOTDOWN_REQUESTS] |
Definition at line 111 of file vmm.h.
Referenced by space_tlb_shootdown(), and vmm_shootdown_handler().