Searched refs:VM_MAXCPU (Results 1 – 8 of 8) sorted by relevance
126 struct vmcs vmcs[VM_MAXCPU]; /* one vmcs per virtual cpu */127 struct apic_page apic_page[VM_MAXCPU]; /* one apic page per vcpu */129 struct pir_desc pir_desc[VM_MAXCPU];130 uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM];131 struct vmxctx ctx[VM_MAXCPU];132 struct vmxcap cap[VM_MAXCPU];133 struct vmxstate state[VM_MAXCPU];
520 if (vpid > VM_MAXCPU) in vpid_free()529 if (num <= 0 || num > VM_MAXCPU) in vpid_alloc()588 vpid_unr = new_unrhdr(VM_MAXCPU + 1, 0xffff, NULL); in vpid_init()1022 uint16_t vpid[VM_MAXCPU]; in vmx_init()1090 vpid_alloc(vpid, VM_MAXCPU); in vmx_init()4060 for (i = 0; i < VM_MAXCPU; i++) { in vmx_snapshot()
61 uint8_t apic_page[VM_MAXCPU][PAGE_SIZE];62 struct svm_vcpu vcpu[VM_MAXCPU];
465 if (vcpu < 0 || vcpu >= VM_MAXCPU) { in vmcb_getany()486 if (vcpu < 0 || vcpu >= VM_MAXCPU) { in vmcb_setany()
2418 for (i = 0; i < VM_MAXCPU; i++) { in svm_snapshot()
178 struct vcpu vcpu[VM_MAXCPU]; /* (i) guest vcpus */498 vm->maxcpus = VM_MAXCPU; /* XXX temp to keep code working */ in vm_create()534 vm->maxcpus = VM_MAXCPU; /* XXX temp to keep code working */ in vm_set_topology()2769 for (i = 0; i < VM_MAXCPU; i++) { in vm_snapshot_vcpus()2807 for (i = 0; i < VM_MAXCPU; i++) in vm_snapshot_vm()2821 for (i = 0; i < VM_MAXCPU; i++) in vm_snapshot_vm()2836 for (i = 0; i < VM_MAXCPU; i++) { in vm_snapshot_vmcx()2901 if (vcpuid < 0 || vcpuid >= VM_MAXCPU) in vm_set_tsc_offset()
471 #define VM_MAXCPU 16 /* maximum virtual cpus */ macro
906 static VMM_STAT_ARRAY(IPIS_SENT, VM_MAXCPU, "ipis sent to vcpu");1708 for (i = 0; i < VM_MAXCPU; i++) { in vlapic_snapshot()