Re: [Xen-users] "Booted on L1TF-vulnerable hardware with SMT/Hyperthreading enabled" .. or not?

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 03/09/18 00:11, Hans van Kranenburg wrote:
> On 09/03/2018 12:50 AM, Andrew Cooper wrote:
>> On 02/09/18 23:27, Hans van Kranenburg wrote:
>>> On 09/03/2018 12:14 AM, Andrew Cooper wrote:
>>>> On 02/09/18 21:22, Hans van Kranenburg wrote:
>>>>> On 08/31/2018 02:12 AM, Hans van Kranenburg wrote:
>>>>>> On 08/31/2018 02:09 AM, Hans van Kranenburg wrote:
>>>>>>> I have some HP ProLiant DL360 G7 (P68) servers here, and I just put this
>>>>>>> BIOS update on them:
>>>>>>>
>>>>>>> https://support.hpe.com/hpsc/swd/public/detail?swItemId=MTX_23267b7aabb6489a8332d06919#tab3
>>>>>>>
>>>>>>> Version: 2018.05.21(2 Jul 2018)
>>>>>>>
>>>>>>> The release notes contain a whole story about "This revision of the
>>>>>>> System ROM includes the latest revision of the Intel microcode which, in
>>>>>>> combination with operating system and hypervisor updates, provides
>>>>>>> mitigation for the L1 Terminal Fault – OS/SMM (CVE-2018-3620) and L1
>>>>>>> Terminal Fault – VMM (CVE-2018-3646) security vulnerabilities."
>>>>>>>
>>>>>>> In the BIOS cpu settings, hyperthreading is disabled. This server
>>>>>>> contains 2x 6-core Intel(R) Xeon(R) CPU X5675 @ 3.07GHz
>>>>>>>
>>>>>>> From xen info: (4.11, built from stable-4.11 commit 733450b39b)
>>>>>>>
>>>>>>> -# xen info
>>>>>>> host                   : rho
>>>>>>> release                : 4.17.0-0.bpo.3-amd64
>>>>>>> version                : #1 SMP Debian 4.17.17-1~bpo9+1 (2018-08-27)
>>>>>>> machine                : x86_64
>>>>>>> nr_cpus                : 12
>>>>>>> max_cpu_id             : 31
>>>>>>> nr_nodes               : 2
>>>>>>> cores_per_socket       : 6
>>>>>>> threads_per_core       : 1
>>>>> From server startup serial console:
>>>>>
>>>>> ---- >8 ----
>>>>>                             108 GB Installed
>>>>>
>>>>>
>>>>>
>>>>> ProLiant System BIOS - P68 (05/21/2018)
>>>>>
>>>>> Copyright 1982, 2018 Hewlett-Packard Development Company, L.P.
>>>>>
>>>>>
>>>>>
>>>>>
>>>>> 2 Processor(s) detected, 12 total cores enabled, Hyperthreading is 
>>>>> disabled
>>>>> Proc 1: Intel(R) Xeon(R) CPU X5675 @ 3.07GHz
>>>>> Proc 2: Intel(R) Xeon(R) CPU X5675 @ 3.07GHz
>>>>> QPI Speed: 6.4 GT/s
>>>>> HP Power Profile Mode: Custom
>>>>> Power Regulator Mode: Static High Performance
>>>>>
>>>>> Advanced Memory Protection Mode: Advanced ECC Support
>>>>> Redundant ROM Detected - This system contains a valid backup system ROM.
>>>>> Inlet Ambient Temperature: 20C/68F
>>>>>
>>>>> ---- >8 ----
>>>>>
>>>>> "Hyperthreading is disabled"
>>>>>
>>>>>>> Still, xl dmesg shows me:
>>>>>>>
>>>>>>> (XEN) ***************************************************
>>>>>>> (XEN) Booted on L1TF-vulnerable hardware with SMT/Hyperthreading
>>>>>>> (XEN) enabled.  Please assess your configuration and choose an
>>>>>>> (XEN) explicit 'smt=<bool>' setting.  See XSA-273.
>>>>>>> (XEN) ***************************************************
>>>>>>>
>>>>>>> What's wrong here?
>>>>>> Additionally:
>>>>> So, interestingly, this information (from dom0) lists ht again in flags:
>>>>>
>>>>>> -# cat /proc/cpuinfo
>>>>>> processor        : 0
>>>>>> vendor_id        : GenuineIntel
>>>>>> cpu family       : 6
>>>>>> model            : 44
>>>>>> model name       : Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz
>>>>>> stepping : 2
>>>>>> microcode        : 0x1f
>>>>>> cpu MHz          : 3066.788
>>>>>> cache size       : 12288 KB
>>>>>> physical id      : 0
>>>>>> siblings : 4
>>>>>> core id          : 0
>>>>>> cpu cores        : 1
>>>>>> apicid           : 0
>>>>>> initial apicid   : 0
>>>>>> fpu              : yes
>>>>>> fpu_exception    : yes
>>>>>> cpuid level      : 11
>>>>>> wp               : yes
>>>>>> flags            : fpu de tsc msr pae mce cx8 apic sep mca cmov pat 
>>>>>> clflush acpi
>>>>>> mmx fxsr sse sse2 ss ht syscall nx lm constant_tsc rep_good nopl
>>>>>> nonstop_tsc cpuid pni pclmulqdq monitor est ssse3 cx16 sse4_1 sse4_2
>>>>>> popcnt aes hypervisor lahf_lm ssbd ibrs ibpb stibp
>>>>>> bugs             : null_seg cpu_meltdown spectre_v1 spectre_v2 
>>>>>> spec_store_bypass l1tf
>>>>>> bogomips : 6133.57
>>>>>> clflush size     : 64
>>>>>> cache_alignment  : 64
>>>>>> address sizes    : 40 bits physical, 48 bits virtual
>>>>>> power management:
>>>>>>
>>>>>> (identical for all cpus listed)
>>>>> Another view on the thing, from dmidecode:
>>>>>
>>>>> Handle 0x0400, DMI type 4, 42 bytes
>>>>> Processor Information
>>>>>   Socket Designation: Proc 1
>>>>>   Type: Central Processor
>>>>>   Family: Xeon
>>>>>   Manufacturer: Intel
>>>>>   ID: C2 06 02 00 FF FB EB BF
>>>>>   Signature: Type 0, Family 6, Model 44, Stepping 2
>>>>>   Flags:
>>>>>           FPU (Floating-point unit on-chip)
>>>>>           VME (Virtual mode extension)
>>>>>           DE (Debugging extension)
>>>>>           PSE (Page size extension)
>>>>>           TSC (Time stamp counter)
>>>>>           MSR (Model specific registers)
>>>>>           PAE (Physical address extension)
>>>>>           MCE (Machine check exception)
>>>>>           CX8 (CMPXCHG8 instruction supported)
>>>>>           APIC (On-chip APIC hardware supported)
>>>>>           SEP (Fast system call)
>>>>>           MTRR (Memory type range registers)
>>>>>           PGE (Page global enable)
>>>>>           MCA (Machine check architecture)
>>>>>           CMOV (Conditional move instruction supported)
>>>>>           PAT (Page attribute table)
>>>>>           PSE-36 (36-bit page size extension)
>>>>>           CLFSH (CLFLUSH instruction supported)
>>>>>           DS (Debug store)
>>>>>           ACPI (ACPI supported)
>>>>>           MMX (MMX technology supported)
>>>>>           FXSR (FXSAVE and FXSTOR instructions supported)
>>>>>           SSE (Streaming SIMD extensions)
>>>>>           SSE2 (Streaming SIMD extensions 2)
>>>>>           SS (Self-snoop)
>>>>>           HTT (Multi-threading)
>>>>>           TM (Thermal monitor supported)
>>>>>           PBE (Pending break enabled)
>>>>>   Version: Intel(R) Xeon(R) CPU X5675 @ 3.07GHz
>>>>>   Voltage: 1.4 V
>>>>>   External Clock: 133 MHz
>>>>>   Max Speed: 4800 MHz
>>>>>   Current Speed: 3067 MHz
>>>>>   Status: Populated, Enabled
>>>>>   Upgrade: Socket LGA1366
>>>>>   L1 Cache Handle: 0x0710
>>>>>   L2 Cache Handle: 0x0720
>>>>>   L3 Cache Handle: 0x0730
>>>>>   Serial Number: Not Specified
>>>>>   Asset Tag: Not Specified
>>>>>   Part Number: Not Specified
>>>>>   Core Count: 6
>>>>>   Core Enabled: 6
>>>>>   Thread Count: 12
>>>>>   Characteristics:
>>>>>           64-bit capable
>>>>>
>>>>> This also lists hyperthreading and 6 cores with 12 threads per physical
>>>>> cpu...
>>>>>
>>>>> The code which decides about printing the message or not does:
>>>>>
>>>>> if ( opt_smt == -1 && cpu_has_bug_l1tf && !pv_shim &&
>>>>>      boot_cpu_data.x86_num_siblings > 1 )
>>>>>     warning_add(
>>>>>         "Booted on L1TF-vulnerable hardware with SMT/Hyperthreading\n"
>>>>>         "enabled.  Please assess your configuration and choose an\n"
>>>>>         "explicit 'smt=<bool>' setting.  See XSA-273.\n");
>>>>>
>>>>> (from commit 2a47c75509, author in Cc)
>>>>>
>>>>> Apparently in here, boot_cpu_data.x86_num_siblings > 1 still matches
>>>>> when hyperthreading is actually disabled in bios configuration?
>>>>>
>>>>> Is there a better way to detect configuration (enabled/disabled) vs.
>>>>> just the fact that the hardware has the feature and could enable it?
>>>>> Something like the same source as where xl info gets the
>>>>> threads_per_core from, which does show up as 1?
>>>> The HT flag in CPUID is of no use in this case.  It is actually
>>>> HyperThreadingTechnology which is a bit signalling that other topology
>>>> related information in the CPUID leaves has changed from the legacy
>>>> enumeration mechanisms.  Most hardware in the last 10 years sets the HTT
>>>> bit, even on non-HT capable hardware.
>>>>
>>>> Do you have the full Xen boot log (`xl dmesg` once dom0 has booted) ?
>>>>
>>>> Xen's boot_cpu_data.x86_num_siblings ought to be correct, but I'd agree
>>>> in this case it appears to be in direct contradiction to what the
>>>> firmware claims.
>>> (XEN) parameter "placeholder" unknown!
>>> (XEN) Xen version 4.11.1-pre (Debian
>>> 4.11.1~pre+1.733450b39b-1~exp1~mxbp9+1) (hans@xxxxxxxxxxx) (gcc (Debian
>>> 6.3.0-18+deb9u1) 6.3.0 20170516) debug=n  Wed Aug 22 15:26:44 UTC 2018
>>> (XEN) Bootloader: GRUB 2.02~beta3-5
>>> (XEN) Command line: placeholder dom0_max_vcpus=4 dom0_mem=4G,max:4G
>>> com2=115200,8n1 console=com2,vga noreboot xpti=no-dom0
>>> (XEN) Xen image load base address: 0
>>> (XEN) Video information:
>>> (XEN)  VGA is text mode 80x25, font 8x16
>>> (XEN)  VBE/DDC methods: none; EDID transfer time: 2 seconds
>>> (XEN)  EDID info not retrieved because no DDC retrieval method detected
>>> (XEN) Disc information:
>>> (XEN)  Found 1 MBR signatures
>>> (XEN)  Found 1 EDD information structures
>>> (XEN) Xen-e820 RAM map:
>>> (XEN)  0000000000000000 - 000000000009f400 (usable)
>>> (XEN)  000000000009f400 - 00000000000a0000 (reserved)
>>> (XEN)  00000000000f0000 - 0000000000100000 (reserved)
>>> (XEN)  0000000000100000 - 00000000d762f000 (usable)
>>> (XEN)  00000000d762f000 - 00000000d763c000 (ACPI data)
>>> (XEN)  00000000d763c000 - 00000000d763d000 (usable)
>>> (XEN)  00000000d763d000 - 00000000dc000000 (reserved)
>>> (XEN)  00000000fec00000 - 00000000fee10000 (reserved)
>>> (XEN)  00000000ff800000 - 0000000100000000 (reserved)
>>> (XEN)  0000000100000000 - 0000001b27fff000 (usable)
>>> (XEN) New Xen image base address: 0xd7000000
>>> (XEN) ACPI: RSDP 000F4F00, 0024 (r2 HP    )
>>> (XEN) ACPI: XSDT D7630140, 00B4 (r1 HP     ProLiant        2   �     162E)
>>> (XEN) ACPI: FACP D7630240, 00F4 (r3 HP     ProLiant        2   �     162E)
>>> (XEN) ACPI: DSDT D7630340, 20BD (r1 HP         DSDT        1 INTL 20030228)
>>> (XEN) ACPI: FACS D762F100, 0040
>>> (XEN) ACPI: SPCR D762F140, 0050 (r1 HP     SPCRRBSU        1   �     162E)
>>> (XEN) ACPI: MCFG D762F1C0, 003C (r1 HP     ProLiant        1             0)
>>> (XEN) ACPI: HPET D762F200, 0038 (r1 HP     ProLiant        2   �     162E)
>>> (XEN) ACPI: FFFF D762F240, 0064 (r2 HP     ProLiant        2   �     162E)
>>> (XEN) ACPI: SPMI D762F2C0, 0040 (r5 HP     ProLiant        1   �     162E)
>>> (XEN) ACPI: ERST D762F300, 01D0 (r1 HP     ProLiant        1   �     162E)
>>> (XEN) ACPI: APIC D762F500, 015E (r1 HP     ProLiant        2             0)
>>> (XEN) ACPI: SRAT D762F680, 0570 (r1 HP     Proliant        1   �     162E)
>>> (XEN) ACPI: FFFF D762FC00, 0176 (r1 HP     ProLiant        1   �     162E)
>>> (XEN) ACPI: BERT D762FD80, 0030 (r1 HP     ProLiant        1   �     162E)
>>> (XEN) ACPI: HEST D762FDC0, 00BC (r1 HP     ProLiant        1   �     162E)
>>> (XEN) ACPI: DMAR D762FE80, 0146 (r1 HP     ProLiant        1   �     162E)
>>> (XEN) ACPI: SSDT D7632400, 0125 (r3     HP  CRSPCI0        2   HP        1)
>>> (XEN) ACPI: SSDT D7632540, 01CF (r3     HP  riser1a        2 INTL 20061109)
>>> (XEN) ACPI: SSDT D7632740, 03BB (r1     HP      pcc        1 INTL 20090625)
>>> (XEN) ACPI: SSDT D7632B00, 0377 (r1     HP     pmab        1 INTL 20090625)
>>> (XEN) ACPI: SSDT D7632E80, 2094 (r1  INTEL PPM RCM         1 INTL 20061109)
>>> (XEN) System RAM: 110581MB (113235768kB)
>>> (XEN) Domain heap initialised DMA width 32 bits
>>> (XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000, GSI 0-23
>>> (XEN) IOAPIC[1]: apic_id 0, version 32, address 0xfec80000, GSI 24-47
>>> (XEN) Enabling APIC mode:  Phys.  Using 2 I/O APICs
>>> (XEN) Failed to get Error Log Address Range.
>>> (XEN) Speculative mitigation facilities:
>>> (XEN)   Hardware features: IBRS/IBPB STIBP L1D_FLUSH SSBD
>>> (XEN)   Compiled-in support: INDIRECT_THUNK SHADOW_PAGING
>>> (XEN)   Xen settings: BTI-Thunk RETPOLINE, SPEC_CTRL: IBRS- SSBD-,
>>> Other: IBPB L1D_FLUSH
>>> (XEN)   L1TF: believed vulnerable, maxphysaddr L1D 44, CPUID 40, Safe
>>> address 10000000000
>>> (XEN)   Support for VMs: PV: MSR_SPEC_CTRL RSB EAGER_FPU, HVM:
>>> MSR_SPEC_CTRL RSB EAGER_FPU
>>> (XEN)   XPTI (64-bit PV only): Dom0 disabled, DomU disabled
>>> (XEN)   PV L1TF shadowing: Dom0 disabled, DomU enabled
>>> (XEN) Using scheduler: SMP Credit Scheduler (credit)
>>> (XEN) Platform timer is 14.318MHz HPET
>>> (XEN) Detected 3066.791 MHz processor.
>>> (XEN) Initing memory sharing.
>>> (XEN) [VT-D]Disabling IOMMU due to Intel 5500/5520/X58 Chipset errata
>>> #47, #53
>>> (XEN) I/O virtualisation disabled
>>> (XEN) Enabled directed EOI with ioapic_ack_old on!
>>> (XEN) ENABLING IO-APIC IRQs
>>> (XEN)  -> Using old ACK method
>>> (XEN) Allocated console ring of 32 KiB.
>>> (XEN) VMX: Supported advanced features:
>>> (XEN)  - APIC MMIO access virtualisation
>>> (XEN)  - APIC TPR shadow
>>> (XEN)  - Extended Page Tables (EPT)
>>> (XEN)  - Virtual-Processor Identifiers (VPID)
>>> (XEN)  - Virtual NMI
>>> (XEN)  - MSR direct-access bitmap
>>> (XEN)  - Unrestricted Guest
>>> (XEN) HVM: ASIDs enabled.
>>> (XEN) HVM: VMX enabled
>>> (XEN) HVM: Hardware Assisted Paging (HAP) detected
>>> (XEN) HVM: HAP page sizes: 4kB, 2MB, 1GB
>>> (XEN) Brought up 12 CPUs
>>> (XEN) Dom0 has maximum 816 PIRQs
>>> (XEN)  Xen  kernel: 64-bit, lsb, compat32
>>> (XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x266a000
>>> (XEN) PHYSICAL MEMORY ARRANGEMENT:
>>> (XEN)  Dom0 alloc.:   0000001adc000000->0000001ae0000000 (1025804 pages
>>> to be allocated)
>>> (XEN)  Init. ramdisk: 0000001b2650c000->0000001b27dffa74
>>> (XEN) VIRTUAL MEMORY ARRANGEMENT:
>>> (XEN)  Loaded kernel: ffffffff81000000->ffffffff8266a000
>>> (XEN)  Init. ramdisk: 0000000000000000->0000000000000000
>>> (XEN)  Phys-Mach map: 0000008000000000->0000008000800000
>>> (XEN)  Start info:    ffffffff8266a000->ffffffff8266a4b4
>>> (XEN)  Xenstore ring: 0000000000000000->0000000000000000
>>> (XEN)  Console ring:  0000000000000000->0000000000000000
>>> (XEN)  Page tables:   ffffffff8266b000->ffffffff82682000
>>> (XEN)  Boot stack:    ffffffff82682000->ffffffff82683000
>>> (XEN)  TOTAL:         ffffffff80000000->ffffffff82800000
>>> (XEN)  ENTRY ADDRESS: ffffffff82433180
>>> (XEN) Dom0 has maximum 4 VCPUs
>>> (XEN) Initial low memory virq threshold set at 0x4000 pages.
>>> (XEN) Scrubbing Free RAM on 2 nodes using 12 CPUs
>>> (XEN)
>>> .........................................................................done.
>>> (XEN) Std. Loglevel: Errors and warnings
>>> (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
>>> (XEN) ***************************************************
>>> (XEN) Booted on L1TF-vulnerable hardware with SMT/Hyperthreading
>>> (XEN) enabled.  Please assess your configuration and choose an
>>> (XEN) explicit 'smt=<bool>' setting.  See XSA-273.
>>> (XEN) ***************************************************
>>> (XEN) 3... 2... 1...
>>> (XEN) Xen is relinquishing VGA console.
>>> (XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch
>>> input to Xen)
>>> (XEN) Freed 476kB init memory
>>>
>>> I can reboot with another loglevel if needed.
>> Can you rerun with "cpuinfo" on the command line, and/or a debug build,
>> so we can see Xen's interpretation of the MADT ACPI table.
>>
>> Additionally, if you can boot with "opt_dom0_vcpu_pin" and collect
>> `cpuid -r` which should pick up the raw processor APIC IDs.
> Sure. Message is already getting rather long, but I don't know what to
> cut away best above.
>
> (XEN) parameter "placeholder" unknown!
> (XEN) Xen version 4.11.1-pre (Debian
> 4.11.1~pre+1.733450b39b-1~exp1~mxbp9+1) (hans@xxxxxxxxxxx) (gcc (Debian
> 6.3.0-18+deb9u1) 6.3.0 20170516) debug=n  Wed Aug 22 15:26:44 UTC 2018
> (XEN) Bootloader: GRUB 2.02~beta3-5
> (XEN) Command line: placeholder dom0_max_vcpus=4 dom0_mem=4G,max:4G
> com2=115200,8n1 console=com2,vga noreboot xpti=no-dom0 cpuinfo
> dom0_vcpus_pin
> (XEN) Xen image load base address: 0
> (XEN) Video information:
> (XEN)  VGA is text mode 80x25, font 8x16
> (XEN)  VBE/DDC methods: none; EDID transfer time: 2 seconds
> (XEN)  EDID info not retrieved because no DDC retrieval method detected
> (XEN) Disc information:
> (XEN)  Found 1 MBR signatures
> (XEN)  Found 1 EDD information structures
> (XEN) Xen-e820 RAM map:
> (XEN)  0000000000000000 - 000000000009f400 (usable)
> (XEN)  000000000009f400 - 00000000000a0000 (reserved)
> (XEN)  00000000000f0000 - 0000000000100000 (reserved)
> (XEN)  0000000000100000 - 00000000d762f000 (usable)
> (XEN)  00000000d762f000 - 00000000d763c000 (ACPI data)
> (XEN)  00000000d763c000 - 00000000d763d000 (usable)
> (XEN)  00000000d763d000 - 00000000dc000000 (reserved)
> (XEN)  00000000fec00000 - 00000000fee10000 (reserved)
> (XEN)  00000000ff800000 - 0000000100000000 (reserved)
> (XEN)  0000000100000000 - 0000001b27fff000 (usable)
> (XEN) New Xen image base address: 0xd7000000
> (XEN) ACPI: RSDP 000F4F00, 0024 (r2 HP    )
> (XEN) ACPI: XSDT D7630140, 00B4 (r1 HP     ProLiant        2   �     162E)
> (XEN) ACPI: FACP D7630240, 00F4 (r3 HP     ProLiant        2   �     162E)
> (XEN) ACPI: DSDT D7630340, 20BD (r1 HP         DSDT        1 INTL 20030228)
> (XEN) ACPI: FACS D762F100, 0040
> (XEN) ACPI: SPCR D762F140, 0050 (r1 HP     SPCRRBSU        1   �     162E)
> (XEN) ACPI: MCFG D762F1C0, 003C (r1 HP     ProLiant        1             0)
> (XEN) ACPI: HPET D762F200, 0038 (r1 HP     ProLiant        2   �     162E)
> (XEN) ACPI: FFFF D762F240, 0064 (r2 HP     ProLiant        2   �     162E)
> (XEN) ACPI: SPMI D762F2C0, 0040 (r5 HP     ProLiant        1   �     162E)
> (XEN) ACPI: ERST D762F300, 01D0 (r1 HP     ProLiant        1   �     162E)
> (XEN) ACPI: APIC D762F500, 015E (r1 HP     ProLiant        2             0)
> (XEN) ACPI: SRAT D762F680, 0570 (r1 HP     Proliant        1   �     162E)
> (XEN) ACPI: FFFF D762FC00, 0176 (r1 HP     ProLiant        1   �     162E)
> (XEN) ACPI: BERT D762FD80, 0030 (r1 HP     ProLiant        1   �     162E)
> (XEN) ACPI: HEST D762FDC0, 00BC (r1 HP     ProLiant        1   �     162E)
> (XEN) ACPI: DMAR D762FE80, 0146 (r1 HP     ProLiant        1   �     162E)
> (XEN) ACPI: SSDT D7632400, 0125 (r3     HP  CRSPCI0        2   HP        1)
> (XEN) ACPI: SSDT D7632540, 01CF (r3     HP  riser1a        2 INTL 20061109)
> (XEN) ACPI: SSDT D7632740, 03BB (r1     HP      pcc        1 INTL 20090625)
> (XEN) ACPI: SSDT D7632B00, 0377 (r1     HP     pmab        1 INTL 20090625)
> (XEN) ACPI: SSDT D7632E80, 2094 (r1  INTEL PPM RCM         1 INTL 20061109)
> (XEN) System RAM: 110581MB (113235768kB)
> (XEN) Domain heap initialised DMA width 32 bits
> (XEN) IOAPIC[0]: apic_id 8, version 32, address 0xfec00000, GSI 0-23
> (XEN) IOAPIC[1]: apic_id 0, version 32, address 0xfec80000, GSI 24-47
> (XEN) Enabling APIC mode:  Phys.  Using 2 I/O APICs
> (XEN) Failed to get Error Log Address Range.
> (XEN) CPU: Physical Processor ID: 0
> (XEN) CPU: Processor Core ID: 0
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) Speculative mitigation facilities:
> (XEN)   Hardware features: IBRS/IBPB STIBP L1D_FLUSH SSBD
> (XEN)   Compiled-in support: INDIRECT_THUNK SHADOW_PAGING
> (XEN)   Xen settings: BTI-Thunk RETPOLINE, SPEC_CTRL: IBRS- SSBD-,
> Other: IBPB L1D_FLUSH
> (XEN)   L1TF: believed vulnerable, maxphysaddr L1D 44, CPUID 40, Safe
> address 10000000000
> (XEN)   Support for VMs: PV: MSR_SPEC_CTRL RSB EAGER_FPU, HVM:
> MSR_SPEC_CTRL RSB EAGER_FPU
> (XEN)   XPTI (64-bit PV only): Dom0 disabled, DomU disabled
> (XEN)   PV L1TF shadowing: Dom0 disabled, DomU enabled
> (XEN) Using scheduler: SMP Credit Scheduler (credit)
> (XEN) Initializing CPU#0
> (XEN) Platform timer is 14.318MHz HPET
> (XEN) Detected 3066.790 MHz processor.
> (XEN) Initing memory sharing.
> (XEN) [VT-D]Disabling IOMMU due to Intel 5500/5520/X58 Chipset errata
> #47, #53
> (XEN) I/O virtualisation disabled
> (XEN) CPU0: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) Enabled directed EOI with ioapic_ack_old on!
> (XEN) ENABLING IO-APIC IRQs
> (XEN)  -> Using old ACK method
> (XEN) Allocated console ring of 32 KiB.
> (XEN) VMX: Supported advanced features:
> (XEN)  - APIC MMIO access virtualisation
> (XEN)  - APIC TPR shadow
> (XEN)  - Extended Page Tables (EPT)
> (XEN)  - Virtual-Processor Identifiers (VPID)
> (XEN)  - Virtual NMI
> (XEN)  - MSR direct-access bitmap
> (XEN)  - Unrestricted Guest
> (XEN) HVM: ASIDs enabled.
> (XEN) HVM: VMX enabled
> (XEN) HVM: Hardware Assisted Paging (HAP) detected
> (XEN) HVM: HAP page sizes: 4kB, 2MB, 1GB
> (XEN) CPU 0 APIC 0 -> Node 0
> (XEN) CPU 1 APIC 2 -> Node 0
> (XEN) Booting processor 1/2 eip 8f000
> (XEN) Initializing CPU#1
> (XEN) CPU: Physical Processor ID: 0
> (XEN) CPU: Processor Core ID: 1
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU1: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 2 APIC 4 -> Node 0
> (XEN) Booting processor 2/4 eip 8f000
> (XEN) Initializing CPU#2
> (XEN) CPU: Physical Processor ID: 0
> (XEN) CPU: Processor Core ID: 2
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU2: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 3 APIC 16 -> Node 0
> (XEN) Booting processor 3/16 eip 8f000
> (XEN) Initializing CPU#3
> (XEN) CPU: Physical Processor ID: 0
> (XEN) CPU: Processor Core ID: 8
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU3: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 4 APIC 18 -> Node 0
> (XEN) Booting processor 4/18 eip 8f000
> (XEN) Initializing CPU#4
> (XEN) CPU: Physical Processor ID: 0
> (XEN) CPU: Processor Core ID: 9
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU4: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 5 APIC 20 -> Node 0
> (XEN) Booting processor 5/20 eip 8f000
> (XEN) Initializing CPU#5
> (XEN) CPU: Physical Processor ID: 0
> (XEN) CPU: Processor Core ID: 10
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU5: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 6 APIC 32 -> Node 1
> (XEN) Booting processor 6/32 eip 8f000
> (XEN) Initializing CPU#6
> (XEN) CPU: Physical Processor ID: 1
> (XEN) CPU: Processor Core ID: 0
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU6: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 7 APIC 34 -> Node 1
> (XEN) Booting processor 7/34 eip 8f000
> (XEN) Initializing CPU#7
> (XEN) CPU: Physical Processor ID: 1
> (XEN) CPU: Processor Core ID: 1
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU7: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 8 APIC 36 -> Node 1
> (XEN) Booting processor 8/36 eip 8f000
> (XEN) Initializing CPU#8
> (XEN) CPU: Physical Processor ID: 1
> (XEN) CPU: Processor Core ID: 2
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU8: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 9 APIC 48 -> Node 1
> (XEN) Booting processor 9/48 eip 8f000
> (XEN) Initializing CPU#9
> (XEN) CPU: Physical Processor ID: 1
> (XEN) CPU: Processor Core ID: 8
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU9: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 10 APIC 50 -> Node 1
> (XEN) Booting processor 10/50 eip 8f000
> (XEN) Initializing CPU#10
> (XEN) CPU: Physical Processor ID: 1
> (XEN) CPU: Processor Core ID: 9
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU10: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) CPU 11 APIC 52 -> Node 1
> (XEN) Booting processor 11/52 eip 8f000
> (XEN) Initializing CPU#11
> (XEN) CPU: Physical Processor ID: 1
> (XEN) CPU: Processor Core ID: 10
> (XEN) CPU: L1 I cache: 32K, L1 D cache: 32K
> (XEN) CPU: L2 cache: 256K
> (XEN) CPU: L3 cache: 12288K
> (XEN) CPU11: Intel(R) Xeon(R) CPU           X5675  @ 3.07GHz stepping 02
> (XEN) Brought up 12 CPUs
> (XEN) Dom0 has maximum 816 PIRQs
> (XEN)  Xen  kernel: 64-bit, lsb, compat32
> (XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x266a000
> (XEN) PHYSICAL MEMORY ARRANGEMENT:
> (XEN)  Dom0 alloc.:   0000000d98000000->0000000d9c000000 (1025804 pages
> to be allocated)
> (XEN)  Init. ramdisk: 0000001b2650c000->0000001b27dffa74
> (XEN) VIRTUAL MEMORY ARRANGEMENT:
> (XEN)  Loaded kernel: ffffffff81000000->ffffffff8266a000
> (XEN)  Init. ramdisk: 0000000000000000->0000000000000000
> (XEN)  Phys-Mach map: 0000008000000000->0000008000800000
> (XEN)  Start info:    ffffffff8266a000->ffffffff8266a4b4
> (XEN)  Xenstore ring: 0000000000000000->0000000000000000
> (XEN)  Console ring:  0000000000000000->0000000000000000
> (XEN)  Page tables:   ffffffff8266b000->ffffffff82682000
> (XEN)  Boot stack:    ffffffff82682000->ffffffff82683000
> (XEN)  TOTAL:         ffffffff80000000->ffffffff82800000
> (XEN)  ENTRY ADDRESS: ffffffff82433180
> (XEN) Dom0 has maximum 4 VCPUs
> (XEN) Initial low memory virq threshold set at 0x4000 pages.
> (XEN) Scrubbing Free RAM on 2 nodes using 12 CPUs
> (XEN)
> .........................................................................done.
> (XEN) Std. Loglevel: Errors and warnings
> (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
> (XEN) ***************************************************
> (XEN) Booted on L1TF-vulnerable hardware with SMT/Hyperthreading
> (XEN) enabled.  Please assess your configuration and choose an
> (XEN) explicit 'smt=<bool>' setting.  See XSA-273.
> (XEN) ***************************************************
> (XEN) 3... 2... 1...
> (XEN) Xen is relinquishing VGA console.
> (XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch
> input to Xen)
> (XEN) Freed 476kB init memory
>
> -# cpuid -r
> CPU 0:
>    0x00000000 0x00: eax=0x0000000b ebx=0x756e6547 ecx=0x6c65746e
> edx=0x49656e69
>    0x00000001 0x00: eax=0x000206c2 ebx=0x00200800 ecx=0x029ee3ff
> edx=0xbfebfbff
>    0x00000002 0x00: eax=0x55035a01 ebx=0x00f0b0ff ecx=0x00000000
> edx=0x00ca0000
>    0x00000003 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000004 0x00: eax=0x3c004121 ebx=0x01c0003f ecx=0x0000003f
> edx=0x00000000
>    0x00000004 0x01: eax=0x3c004122 ebx=0x00c0003f ecx=0x0000007f
> edx=0x00000000
>    0x00000004 0x02: eax=0x3c004143 ebx=0x01c0003f ecx=0x000001ff
> edx=0x00000000
>    0x00000004 0x03: eax=0x3c07c163 ebx=0x03c0003f ecx=0x00002fff
> edx=0x00000002
>    0x00000005 0x00: eax=0x00000040 ebx=0x00000040 ecx=0x00000003
> edx=0x00001120
>    0x00000006 0x00: eax=0x00000007 ebx=0x00000002 ecx=0x00000009
> edx=0x00000000
>    0x00000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x9c000000
>    0x00000008 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000009 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x0000000a 0x00: eax=0x07300403 ebx=0x00000004 ecx=0x00000000
> edx=0x00000603
>    0x0000000b 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000000
>    0x0000000b 0x01: eax=0x00000005 ebx=0x0000000c ecx=0x00000201
> edx=0x00000000
>    0x80000000 0x00: eax=0x80000008 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000001 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000001
> edx=0x2c100800
>    0x80000002 0x00: eax=0x65746e49 ebx=0x2952286c ecx=0x6f655820
> edx=0x2952286e
>    0x80000003 0x00: eax=0x55504320 ebx=0x20202020 ecx=0x20202020
> edx=0x58202020
>    0x80000004 0x00: eax=0x35373635 ebx=0x20402020 ecx=0x37302e33
> edx=0x007a4847
>    0x80000005 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000006 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x01006040
> edx=0x00000000
>    0x80000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000100
>    0x80000008 0x00: eax=0x00003028 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80860000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000000
>    0xc0000000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000000
> CPU 1:
>    0x00000000 0x00: eax=0x0000000b ebx=0x756e6547 ecx=0x6c65746e
> edx=0x49656e69
>    0x00000001 0x00: eax=0x000206c2 ebx=0x02200800 ecx=0x029ee3ff
> edx=0xbfebfbff
>    0x00000002 0x00: eax=0x55035a01 ebx=0x00f0b0ff ecx=0x00000000
> edx=0x00ca0000
>    0x00000003 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000004 0x00: eax=0x3c004121 ebx=0x01c0003f ecx=0x0000003f
> edx=0x00000000
>    0x00000004 0x01: eax=0x3c004122 ebx=0x00c0003f ecx=0x0000007f
> edx=0x00000000
>    0x00000004 0x02: eax=0x3c004143 ebx=0x01c0003f ecx=0x000001ff
> edx=0x00000000
>    0x00000004 0x03: eax=0x3c07c163 ebx=0x03c0003f ecx=0x00002fff
> edx=0x00000002
>    0x00000005 0x00: eax=0x00000040 ebx=0x00000040 ecx=0x00000003
> edx=0x00001120
>    0x00000006 0x00: eax=0x00000007 ebx=0x00000002 ecx=0x00000009
> edx=0x00000000
>    0x00000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x9c000000
>    0x00000008 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000009 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x0000000a 0x00: eax=0x07300403 ebx=0x00000004 ecx=0x00000000
> edx=0x00000603
>    0x0000000b 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000002
>    0x0000000b 0x01: eax=0x00000005 ebx=0x0000000c ecx=0x00000201
> edx=0x00000002
>    0x80000000 0x00: eax=0x80000008 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000001 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000001
> edx=0x2c100800
>    0x80000002 0x00: eax=0x65746e49 ebx=0x2952286c ecx=0x6f655820
> edx=0x2952286e
>    0x80000003 0x00: eax=0x55504320 ebx=0x20202020 ecx=0x20202020
> edx=0x58202020
>    0x80000004 0x00: eax=0x35373635 ebx=0x20402020 ecx=0x37302e33
> edx=0x007a4847
>    0x80000005 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000006 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x01006040
> edx=0x00000000
>    0x80000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000100
>    0x80000008 0x00: eax=0x00003028 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80860000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000002
>    0xc0000000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000002
> CPU 2:
>    0x00000000 0x00: eax=0x0000000b ebx=0x756e6547 ecx=0x6c65746e
> edx=0x49656e69
>    0x00000001 0x00: eax=0x000206c2 ebx=0x04200800 ecx=0x029ee3ff
> edx=0xbfebfbff
>    0x00000002 0x00: eax=0x55035a01 ebx=0x00f0b0ff ecx=0x00000000
> edx=0x00ca0000
>    0x00000003 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000004 0x00: eax=0x3c004121 ebx=0x01c0003f ecx=0x0000003f
> edx=0x00000000
>    0x00000004 0x01: eax=0x3c004122 ebx=0x00c0003f ecx=0x0000007f
> edx=0x00000000
>    0x00000004 0x02: eax=0x3c004143 ebx=0x01c0003f ecx=0x000001ff
> edx=0x00000000
>    0x00000004 0x03: eax=0x3c07c163 ebx=0x03c0003f ecx=0x00002fff
> edx=0x00000002
>    0x00000005 0x00: eax=0x00000040 ebx=0x00000040 ecx=0x00000003
> edx=0x00001120
>    0x00000006 0x00: eax=0x00000007 ebx=0x00000002 ecx=0x00000009
> edx=0x00000000
>    0x00000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x9c000000
>    0x00000008 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000009 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x0000000a 0x00: eax=0x07300403 ebx=0x00000004 ecx=0x00000000
> edx=0x00000603
>    0x0000000b 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000004
>    0x0000000b 0x01: eax=0x00000005 ebx=0x0000000c ecx=0x00000201
> edx=0x00000004
>    0x80000000 0x00: eax=0x80000008 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000001 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000001
> edx=0x2c100800
>    0x80000002 0x00: eax=0x65746e49 ebx=0x2952286c ecx=0x6f655820
> edx=0x2952286e
>    0x80000003 0x00: eax=0x55504320 ebx=0x20202020 ecx=0x20202020
> edx=0x58202020
>    0x80000004 0x00: eax=0x35373635 ebx=0x20402020 ecx=0x37302e33
> edx=0x007a4847
>    0x80000005 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000006 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x01006040
> edx=0x00000000
>    0x80000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000100
>    0x80000008 0x00: eax=0x00003028 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80860000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000004
>    0xc0000000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000004
> CPU 3:
>    0x00000000 0x00: eax=0x0000000b ebx=0x756e6547 ecx=0x6c65746e
> edx=0x49656e69
>    0x00000001 0x00: eax=0x000206c2 ebx=0x10200800 ecx=0x029ee3ff
> edx=0xbfebfbff
>    0x00000002 0x00: eax=0x55035a01 ebx=0x00f0b0ff ecx=0x00000000
> edx=0x00ca0000
>    0x00000003 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000004 0x00: eax=0x3c004121 ebx=0x01c0003f ecx=0x0000003f
> edx=0x00000000
>    0x00000004 0x01: eax=0x3c004122 ebx=0x00c0003f ecx=0x0000007f
> edx=0x00000000
>    0x00000004 0x02: eax=0x3c004143 ebx=0x01c0003f ecx=0x000001ff
> edx=0x00000000
>    0x00000004 0x03: eax=0x3c07c163 ebx=0x03c0003f ecx=0x00002fff
> edx=0x00000002
>    0x00000005 0x00: eax=0x00000040 ebx=0x00000040 ecx=0x00000003
> edx=0x00001120
>    0x00000006 0x00: eax=0x00000007 ebx=0x00000002 ecx=0x00000009
> edx=0x00000000
>    0x00000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x9c000000
>    0x00000008 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x00000009 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x0000000a 0x00: eax=0x07300403 ebx=0x00000004 ecx=0x00000000
> edx=0x00000603
>    0x0000000b 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000010
>    0x0000000b 0x01: eax=0x00000005 ebx=0x0000000c ecx=0x00000201
> edx=0x00000010
>    0x80000000 0x00: eax=0x80000008 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000001 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000001
> edx=0x2c100800
>    0x80000002 0x00: eax=0x65746e49 ebx=0x2952286c ecx=0x6f655820
> edx=0x2952286e
>    0x80000003 0x00: eax=0x55504320 ebx=0x20202020 ecx=0x20202020
> edx=0x58202020
>    0x80000004 0x00: eax=0x35373635 ebx=0x20402020 ecx=0x37302e33
> edx=0x007a4847
>    0x80000005 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80000006 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x01006040
> edx=0x00000000
>    0x80000007 0x00: eax=0x00000000 ebx=0x00000000 ecx=0x00000000
> edx=0x00000100
>    0x80000008 0x00: eax=0x00003028 ebx=0x00000000 ecx=0x00000000
> edx=0x00000000
>    0x80860000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000010
>    0xc0000000 0x00: eax=0x00000001 ebx=0x00000002 ecx=0x00000100
> edx=0x00000010
>
> Or if the formatting is annoying, http://paste.debian.net/plainh/728b0c36

Looks like Xen does have a bug identifying the topology.  Hyperthreading
is definitely off, but there is no MADT so information is probably being
derived from the legacy MP table.

For now, set smt=0 if you want to skip the warning, and can you email
xen-devel with a bug report please?

~Andrew

_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-users