Only 1 CPU core detected

[Killian De Volder <killian.de.volder@scarlet.be>]

Hello,

I have a weird problem:
When I boot Linux get 8 cores (hyper-threading so 4 real cores).
However if I boot using Xen, i only get 1 cpu core:xl info report: "nr_cpus:1 nr_cores: 1 cores_per_socket:1 threads_per_core: 1"
Laptop is a ThinkPad w520 with a i7-2860QM with EFI-bios enabled.

Anyone has any suggestions ?

Kind regards,
Killian De Volder

xl dmesg:
(XEN) Xen version 4.1.2 (root@me.lan) (gcc version 4.5.3 (Gentoo 4.5.3-r2 p1.1, pie-0.4.7) ) Mon Feb 27 02:14:06 CET 2012
(XEN) Latest ChangeSet: unavailable
(XEN) Bootloader: GRUB 1.99
(XEN) Command line: XEN
(XEN) Video information:
(XEN)  VGA is text mode 80x25, font 8x16
(XEN)  VBE/DDC methods: V2; EDID transfer time: 1 seconds
(XEN) Disc information:
(XEN)  Found 0 MBR signatures
(XEN)  Found 0 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 000000000009dc00 (usable)
(XEN)  000000000009dc00 - 00000000000a0000 (reserved)
(XEN)  00000000000e0000 - 0000000000100000 (reserved)
(XEN)  0000000000100000 - 0000000020000000 (usable)
(XEN)  0000000020000000 - 0000000020200000 (reserved)
(XEN)  0000000020200000 - 0000000040000000 (usable)
(XEN)  0000000040000000 - 0000000040200000 (reserved)
(XEN)  0000000040200000 - 00000000da99f000 (usable)
(XEN)  00000000da99f000 - 00000000dae9f000 (reserved)
(XEN)  00000000dae9f000 - 00000000daf9f000 (ACPI NVS)
(XEN)  00000000daf9f000 - 00000000dafff000 (ACPI data)
(XEN)  00000000dafff000 - 00000000db000000 (usable)
(XEN)  00000000db000000 - 00000000dfa00000 (reserved)
(XEN)  00000000f8000000 - 00000000fc000000 (reserved)
(XEN)  00000000fec00000 - 00000000fec01000 (reserved)
(XEN)  00000000fed08000 - 00000000fed09000 (reserved)
(XEN)  00000000fed10000 - 00000000fed1a000 (reserved)
(XEN)  00000000fed1c000 - 00000000fed20000 (reserved)
(XEN)  00000000fee00000 - 00000000fee01000 (reserved)
(XEN)  00000000ffd20000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 000000011e600000 (usable)
(XEN) ACPI Error (tbxfroot-0220): A valid RSDP was not found [20070126]
(XEN) System RAM: 3979MB (4074740kB)
(XEN) Domain heap initialised
(XEN) Table is not found!
(XEN) Found and enabled local APIC!
(XEN) Not enabling x2APIC: depends on iommu_supports_eim.
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 2491.961 MHz processor.
(XEN) Initing memory sharing.
(XEN) I/O virtualisation disabled
(XEN) Enabled directed EOI with ioapic_ack_old on!
(XEN) Platform timer is 1.193MHz PIT
(XEN) Allocated console ring of 16 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) EPT supports 2MB super page.
(XEN) HVM: ASIDs enabled.
(XEN) HVM: VMX enabled
(XEN) HVM: Hardware Assisted Paging detected.
(XEN) Brought up 1 CPUs
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 64-bit, PAE, lsb, paddr 0x1000000 -> 0x1d6c000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000114000000->0000000118000000 (955561 pages to be allocated)
(XEN)  Init. ramdisk: 000000011e1f4000->000000011e5ff600
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: ffffffff81000000->ffffffff81d6c000
(XEN)  Init. ramdisk: ffffffff81d6c000->ffffffff82177600
(XEN)  Phys-Mach map: ffffffff82178000->ffffffff828e45a8
(XEN)  Start info:    ffffffff828e5000->ffffffff828e54b4
(XEN)  Page tables:   ffffffff828e6000->ffffffff828ff000
(XEN)  Boot stack:    ffffffff828ff000->ffffffff82900000
(XEN)  TOTAL:         ffffffff80000000->ffffffff82c00000
(XEN)  ENTRY ADDRESS: ffffffff81a21200
(XEN) Dom0 has maximum 1 VCPUs
(XEN) Scrubbing Free RAM: .done.
(XEN) Xen trace buffers: disabled
(XEN) Std. Loglevel: Errors and warnings
(XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 212kB init memory.
(XEN) physdev.c:155: dom0: wrong map_pirq type 3