Searched refs:VM_MAXCPU (Results 1 – 9 of 9) sorted by relevance
124 struct vmcs vmcs[VM_MAXCPU]; /* one vmcs per virtual cpu */125 struct apic_page apic_page[VM_MAXCPU]; /* one apic page per vcpu */127 struct pir_desc pir_desc[VM_MAXCPU];128 uint64_t guest_msrs[VM_MAXCPU][GUEST_MSR_NUM];129 struct vmxctx ctx[VM_MAXCPU];130 struct vmxcap cap[VM_MAXCPU];131 struct vmxstate state[VM_MAXCPU];
485 if (vpid > VM_MAXCPU) in vpid_free()494 if (num <= 0 || num > VM_MAXCPU) in vpid_alloc()553 vpid_unr = new_unrhdr(VM_MAXCPU + 1, 0xffff, NULL); in vpid_init()941 uint16_t vpid[VM_MAXCPU]; in vmx_vminit()999 vpid_alloc(vpid, VM_MAXCPU); in vmx_vminit()
61 uint8_t apic_page[VM_MAXCPU][PAGE_SIZE];62 struct svm_vcpu vcpu[VM_MAXCPU];
186 static struct vm_exit vmexit[VM_MAXCPU];203 } mt_vmm_info[VM_MAXCPU];205 static cpuset_t *vcpumap[VM_MAXCPU] = { NULL };340 if (vcpu < 0 || vcpu >= VM_MAXCPU) { in pincpu_parse()342 vcpu, VM_MAXCPU - 1); in pincpu_parse()851 return (VM_MAXCPU); in num_vcpus_allowed()
71 static struct mmio_rb_range *mmio_hint[VM_MAXCPU];340 for (i=0; i < VM_MAXCPU; i++) { in unregister_mem()
94 #define MADT_SIZE (44 + VM_MAXCPU*8 + 12 + 2*10 + 6)
426 #define VM_MAXCPU 16 /* maximum virtual cpus */ macro
168 struct vcpu vcpu[VM_MAXCPU]; /* (i) guest vcpus */469 vm->maxcpus = VM_MAXCPU; /* XXX temp to keep code working */ in vm_create()505 vm->maxcpus = VM_MAXCPU; /* XXX temp to keep code working */ in vm_set_topology()
912 static VMM_STAT_ARRAY(IPIS_SENT, VM_MAXCPU, "ipis sent to vcpu");