Searched defs:vcpu_id (Results 1 – 12 of 12) sorted by relevance
517 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_rebind_ipi() local536 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_rebind_virq() local660 u_int vcpu_id = XEN_CPUID_TO_VCPUID(to_cpu); in xen_intr_assign_cpu() local863 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_intr_bind_virq() local923 u_int vcpu_id = XEN_CPUID_TO_VCPUID(cpu); in xen_intr_alloc_and_bind_ipi() local
112 uint32_t vcpu_id; member
80 uint32_t vcpu_id; member
393 uint32_t vcpu_id; member
627 unsigned int vcpu_id; member
784 uint32_t vcpu_id; /* any vcpu in an event? */ member
78 int vcpu_id = vcpu_vcpuid(vcpu); in x86_emulate_cpuid() local
342 vcpu_alloc(struct vm * vm,int vcpu_id) vcpu_alloc() argument
238 uint32_t vcpu_id; member247 uint32_t vcpu_id; member317 uint32_t vcpu_id; member
176 vcpu_id(struct vcpu *vcpu) vcpu_id() function
285 vcpu_alloc(struct vm * vm,int vcpu_id) vcpu_alloc() argument
1886 unsigned int cpu, vcpu_id; vmbus_pcib_map_msi() local