Changeset View
Changeset View
Standalone View
Standalone View
sys/riscv/vmm/vmm.c
| Show First 20 Lines • Show All 170 Lines • ▼ Show 20 Lines | |||||
| u_int vm_maxcpu; | u_int vm_maxcpu; | ||||
| SYSCTL_UINT(_hw_vmm, OID_AUTO, maxcpu, CTLFLAG_RDTUN | CTLFLAG_NOFETCH, | SYSCTL_UINT(_hw_vmm, OID_AUTO, maxcpu, CTLFLAG_RDTUN | CTLFLAG_NOFETCH, | ||||
| &vm_maxcpu, 0, "Maximum number of vCPUs"); | &vm_maxcpu, 0, "Maximum number of vCPUs"); | ||||
| static void vm_free_memmap(struct vm *vm, int ident); | static void vm_free_memmap(struct vm *vm, int ident); | ||||
| static bool sysmem_mapping(struct vm *vm, struct mem_map *mm); | static bool sysmem_mapping(struct vm *vm, struct mem_map *mm); | ||||
| static void vcpu_notify_event_locked(struct vcpu *vcpu); | static void vcpu_notify_event_locked(struct vcpu *vcpu); | ||||
| /* global statistics */ | |||||
| VMM_STAT(VMEXIT_COUNT, "total number of vm exits"); | |||||
| VMM_STAT(VMEXIT_IRQ, "number of vmexits for an irq"); | |||||
| VMM_STAT(VMEXIT_UNHANDLED, "number of vmexits for an unhandled exception"); | |||||
| /* | /* | ||||
| * Upper limit on vm_maxcpu. We could increase this to 28 bits, but this | * Upper limit on vm_maxcpu. We could increase this to 28 bits, but this | ||||
| * is a safe value for now. | * is a safe value for now. | ||||
| */ | */ | ||||
| #define VM_MAXCPU MIN(0xffff - 1, CPU_SETSIZE) | #define VM_MAXCPU MIN(0xffff - 1, CPU_SETSIZE) | ||||
| static void | static void | ||||
| vcpu_cleanup(struct vcpu *vcpu, bool destroy) | vcpu_cleanup(struct vcpu *vcpu, bool destroy) | ||||
| ▲ Show 20 Lines • Show All 1,421 Lines • Show Last 20 Lines | |||||