I set the xen.efi directly boot without grub2 to be able to list all the cpu cores.However, after that all the vcpus are in paused state except one for dom0.
~$ sudo xl vcpu-list
Name ID VCPU CPU State Time(s) Affinity (Hard / Soft)
Domain-0 0 0 0 r-- 64.7 0 / all
Domain-0 0 1 - --p 0.0 1 / all
Domain-0 0 2 - --p 0.0 2 / all
Domain-0 0 3 - --p 0.0 3 / all
ubuntu-hvm 1 0 5 -b- 16.9 4-5 / all
The full logs during xen booting is at http://paste.ubuntu.com/13786410/It looks like some of the ACPI tables are disabled and there is two errors:"ACPI BIOS Error (bug): A valid RSDP was not found (20131115/tbxfroot-211)ioapic: probe of 0000:00:05.4 failed with error -22"I'm not sure if it's a users' problem or dev problem. If I'm wrong, please point it out. Any help will be great appreciated.
[ 0.000000] Booting paravirtualized kernel on Xen [ 0.000000] Xen version: 4.6.0 (preserve-AD) [ 0.000000] setup_percpu: NR_CPUS:256 nr_cpumask_bits:256 nr_cpu_ids:1 nr_node_ids:1 [ 0.000000] PERCPU: Embedded 29 pages/cpu @ffff880285000000 s86336 r8192 d24256 u2097152