DF1042: lapic_set_cpuid=0xffffffff80bdd180 cpu_id_to_apic_id=0xffffffff818da120 apic_id_to_cpu_id=0xffffffff818d9d20
DF1042: &apic_id_to_cpu_id[256]=0xffffffff818da120  &cpu_id_to_apic_id[0]=0xffffffff818da120  (same addr => index 256 aliases cpu_id_to_apic_id[0])
DF1042: BEFORE lapic_set_cpuid(1,256): cpu_id_to_apic_id[0]=0 [1]=1 (BSP apic id is 0)
lapic_set_cpuid: invalid cpu_id 1 apic_id 256, skipping
DF1042: AFTER  lapic_set_cpuid(1,256): cpu_id_to_apic_id[0]=0 [1]=1
DF1042: no corruption -- apic_id_to_cpu_id[256] OOB write did not reach cpu_id_to_apic_id[0]
DF1042: restored cpu_id_to_apic_id[0]=0 [1]=1
DF1042: harness unloaded
DF1042: lapic_set_cpuid=0xffffffff80bdd180 cpu_id_to_apic_id=0xffffffff818da120 apic_id_to_cpu_id=0xffffffff818d9d20
DF1042: &apic_id_to_cpu_id[256]=0xffffffff818da120  &cpu_id_to_apic_id[0]=0xffffffff818da120  (same addr => index 256 aliases cpu_id_to_apic_id[0])
DF1042: BEFORE lapic_set_cpuid(1,256): cpu_id_to_apic_id[0]=0 [1]=1 (BSP apic id is 0)
lapic_set_cpuid: invalid cpu_id 1 apic_id 256, skipping
DF1042: AFTER  lapic_set_cpuid(1,256): cpu_id_to_apic_id[0]=0 [1]=1
DF1042: no corruption -- apic_id_to_cpu_id[256] OOB write did not reach cpu_id_to_apic_id[0]
DF1042: restored cpu_id_to_apic_id[0]=0 [1]=1
DF1042: harness unloaded