[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


  • To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, "xen-users@xxxxxxxxxxxxxxxxxxxx" <xen-users@xxxxxxxxxxxxxxxxxxxx>
  • From: Hans van Kranenburg <hans@xxxxxxxxxxx>
  • Date: Mon, 3 Sep 2018 01:11:18 +0200
  • Autocrypt: addr=hans@xxxxxxxxxxx; prefer-encrypt=mutual; keydata= xsFNBFo2pooBEADwTBe/lrCa78zuhVkmpvuN+pXPWHkYs0LuAgJrOsOKhxLkYXn6Pn7e3xm+ ySfxwtFmqLUMPWujQYF0r5C6DteypL7XvkPP+FPVlQnDIifyEoKq8JZRPsAFt1S87QThYPC3 mjfluLUKVBP21H3ZFUGjcf+hnJSN9d9MuSQmAvtJiLbRTo5DTZZvO/SuQlmafaEQteaOswme DKRcIYj7+FokaW9n90P8agvPZJn50MCKy1D2QZwvw0g2ZMR8yUdtsX6fHTe7Ym+tHIYM3Tsg 2KKgt17NTxIqyttcAIaVRs4+dnQ23J98iFmVHyT+X2Jou+KpHuULES8562QltmkchA7YxZpT mLMZ6TPit+sIocvxFE5dGiT1FMpjM5mOVCNOP+KOup/N7jobCG15haKWtu9k0kPz+trT3NOn gZXecYzBmasSJro60O4bwBayG9ILHNn+v/ZLg/jv33X2MV7oYXf+ustwjXnYUqVmjZkdI/pt 30lcNUxCANvTF861OgvZUR4WoMNK4krXtodBoEImjmT385LATGFt9HnXd1rQ4QzqyMPBk84j roX5NpOzNZrNJiUxj+aUQZcINtbpmvskGpJX0RsfhOh2fxfQ39ZP/0a2C59gBQuVCH6C5qsY rc1qTIpGdPYT+J1S2rY88AvPpr2JHZbiVqeB3jIlwVSmkYeB/QARAQABzR5Kb2hhbm5lcyBN YXJpam4gdmFuIEtyYW5lbmJ1cmfCwZEEEwEKADsCGwMFCwkIBwMFFQoJCAsFFgIDAQACHgEC F4AWIQTib9aPwejUthlFRk7ngVcyGAwqVQUCWjawgAIZAQAKCRDngVcyGAwqVZZ3D/98GzxN iFK38eh60e9TARh4HCgEWHD14/YK6KGpzF5UXM7CkKnb0NDjM3TzeeaIYzsOJITSW6rMOm5L NcJTUmw0x4vt43yc+DFAaBNiywXWgFc6g9RpYg5X33y+jhbjDREsGMDAk89isKWo8I8+rZwl S9FSSopWkrj0wV64TRwAlTCrYaTlS56mHa9T5RJkmIY+suxRr3Xl2gcKvng2Kh2WCDHjItUF /t3DfjMCIEL18QlXieyY2w1K0h4iT93YNkEdSpElsD5lFdt7XUfy3Q89eQHtd5n21cXG9lMc fcSbmHdn0ugYF0Hu2xVKCcYwWEgLjLRJ+G4aLQW122PKVVpn15/n7KMX9hQNMH4T8krEqOpd Vdb982gx5GSa+2j44+kOFTCnREN0w15JZI8Osi48xLdPqcrMVtvq9ga8tIPebAs8IM8Mf4JY okBS5sbCGEWZSSsDSdYm/Fp39HA3AEl2nI+wnJZCdgLx5NEnCd5Ni9d6rzC8Te7SvVvA/qlo sVDZAo6MJBYgoO9lPKHYD0FWomAeOlFVjdob0G2n1xBRjroVK0JQI3jpPQoZpc1TLauUQ+kT BQwWwFlpbfBbf0+CACWiQL0YgNNiZn885h4vU0EQI/FizjWUHxVLhXt1K4+x7nkhCZYzaIFL jLqw4y8f6SF9DxRMTM8dcaIQyThkms7BTQRaOtArARAA50ylThKbq0ACHyomxjQ6nFNxa9IC p6byU9LhhKOax0GB6l4WebMsQLhVGRQ8H7DT84E7QLRYsidEbneB1ciToZkL5YFFaVxY0Hj1 wKxCFcVoCRNtOfoPnHQ5m/eDLaO4o0KKL/kaxZwTn2jnl6BQDGX1Aak0u4KiUlFtoWn/E/NI v5QbTGSwIYuzWqqYBIzFtDbiQRvGw0NuKxAGMhwXy8VP05mmNwRdyh/CC4rWQPBTvTeMwr3n l8/G+16/cn4RNGhDiGTTXcX03qzZ5jZ5N7GLY5JtE6pTpLG+EXn5pAnQ7MvuO19cCbp6Dj8f XRmI0SVXWKSo0A2C8xH6KLCRfUMzD7nvDRU+bAHQmbi5cZBODBZ5yp5CfIL1KUCSoiGOMpMi n3FrarIlcxhNtoE+ya23A+JVtOwtM53ESra9cJL4WPkyk/E3OvNDmh8U6iZXn4ZaKQTHaxN9 yvmAUhZQiQi/sABwxCcQQ2ydRb86Vjcbx+FUr5OoEyQS46gc3KN5yax9D3H9wrptOzkNNMUh Fj0oK0fX/MYDWOFeuNBTYk1uFRJDmHAOp01rrMHRogQAkMBuJDMrMHfolivZw8RKfdPzgiI5 00okLTzHC0wgSSAOyHKGZjYjbEwmxsl3sLJck9IPOKvqQi1DkvpOPFSUeX3LPBIav5UUlXt0 wjbzInUAEQEAAcLBdgQYAQoAIBYhBOJv1o/B6NS2GUVGTueBVzIYDCpVBQJaOtArAhsMAAoJ EOeBVzIYDCpV4kgP+wUh3BDRhuKaZyianKroStgr+LM8FIUwQs3Fc8qKrcDaa35vdT9cocDZ jkaGHprpmlN0OuT2PB+Djt7am2noV6Kv1C8EnCPpyDBCwa7DntGdGcGMjH9w6aR4/ruNRUGS 1aSMw8sRQgpTVWEyzHlnIH92D+k+IhdNG+eJ6o1fc7MeC0gUwMt27Im+TxVxc0JRfniNk8PU Ag4kvJq7z7NLBUcJsIh3hM0WHQH9AYe/mZhQq5oyZTsz4jo/dWFRSlpY7zrDS2TZNYt4cCfZ j1bIdpbfSpRi9M3W/yBF2WOkwYgbkqGnTUvr+3r0LMCH2H7nzENrYxNY2kFmDX9bBvOWsWpc MdOEo99/Iayz5/q2d1rVjYVFRm5U9hG+C7BYvtUOnUvSEBeE4tnJBMakbJPYxWe61yANDQub PsINB10ingzsm553yqEjLTuWOjzdHLpE4lzD416ExCoZy7RLEHNhM1YQSI2RNs8umlDfZM9L ek1+1kgBvT3RH0/CpPJgveWV5xDOKuhD8j5l7FME+t2RWP+gyLid6dE0C7J03ir90PlTEkME HEzyJMPtOhO05Phy+d51WPTo1VSKxhL4bsWddHLfQoXW8RQ388Q69JG4m+JhNH/XvWe3aQFp YP+GZuzOhkMez0lHCaVOOLBSKHkAHh9i0/pH+/3hfEa4NsoHCpyy
  • Delivery-date: Sun, 02 Sep 2018 23:12:33 +0000
  • List-id: Xen user discussion <xen-users.lists.xenproject.org>
  • Openpgp: preference=signencrypt

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

Hans

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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.