Re: [PATCHv2 0/4] decouple vcpu index from apic id

2009-06-10 Thread Avi Kivity
Gleb Natapov wrote: Currently vcpu_id is used as an index into vcpus array and as apic id on x86. This is incorrect since apic ids not have to be continuous (they can also encode cpu hierarchy information) and may have values bigger then vcpu array in case of x2apic. This series removes use of v

[PATCHv2 0/4] decouple vcpu index from apic id

2009-06-09 Thread Gleb Natapov
Currently vcpu_id is used as an index into vcpus array and as apic id on x86. This is incorrect since apic ids not have to be continuous (they can also encode cpu hierarchy information) and may have values bigger then vcpu array in case of x2apic. This series removes use of vcpu_id as vcpus array