diff options
-rw-r--r-- | sys/i386/xen/mp_machdep.c | 10 | ||||
-rw-r--r-- | sys/i386/xen/mptable.c | 2 |
2 files changed, 9 insertions, 3 deletions
diff --git a/sys/i386/xen/mp_machdep.c b/sys/i386/xen/mp_machdep.c index be17b64..ae5b5d4 100644 --- a/sys/i386/xen/mp_machdep.c +++ b/sys/i386/xen/mp_machdep.c @@ -251,9 +251,6 @@ cpu_add(u_int apic_id, char boot_cpu) if (bootverbose) printf("SMP: Added CPU %d (%s)\n", apic_id, boot_cpu ? "BSP" : "AP"); - - /* Set the ACPI id (it is needed by VCPU operations) */ - pcpu_find(apic_id)->pc_acpi_id = apic_id; } void @@ -786,6 +783,13 @@ start_all_aps(void) dpcpu_init((void *)kmem_malloc(kernel_arena, DPCPU_SIZE, M_WAITOK | M_ZERO), bootAP); pc->pc_apic_id = cpu_apic_ids[bootAP]; + /* + * The i386 PV port uses the apic_id as vCPU id, but the + * PVHVM port needs to use the acpi_id, so set it for PV + * also in order to work with shared devices between PV + * and PVHVM. + */ + pc->pc_acpi_id = cpu_apic_ids[bootAP]; pc->pc_prvspace = pc; pc->pc_curthread = 0; diff --git a/sys/i386/xen/mptable.c b/sys/i386/xen/mptable.c index 74cb9ab..29d3b33 100644 --- a/sys/i386/xen/mptable.c +++ b/sys/i386/xen/mptable.c @@ -87,6 +87,8 @@ static int mptable_setup_local(void) { + PCPU_SET(apic_id, 0); + PCPU_SET(acpi_id, 0); return (0); } |