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) in vcpu_alloc()
238 uint32_t vcpu_id; member247 uint32_t vcpu_id; member317 uint32_t vcpu_id; member
176 vcpu_id(struct vcpu *vcpu) in vcpu_id() function
285 vcpu_alloc(struct vm *vm, int vcpu_id) in vcpu_alloc()
1886 unsigned int cpu, vcpu_id; in vmbus_pcib_map_msi() local