Using config file "/etc/xen/dc3.conf".
root@xen1:/# xm vcpu-list
Name                                ID  VCPU   CPU State   Time(s) CPU Affinity
Domain-0                             0     0     7   r--      36.5 any cpu
Domain-0                             0     1     -   --p       1.8 any cpu
Domain-0                             0     2     -   --p       1.7 any cpu
Domain-0                             0     3     -   --p       1.6 any cpu
Domain-0                             0     4     -   --p       1.4 any cpu
Domain-0                             0     5     -   --p       1.4 any cpu
Domain-0                             0     6     -   --p       1.5 any cpu
Domain-0                             0     7     -   --p       1.3 any cpu
dc3                                  1     0     0   -b-      15.2 0
dc3                                  1     1     1   -b-       6.8 1
dc3                                  1     2     2   -b-       7.5 2
dc3                                  1     3     3   -b-       8.0 3
After HVM Windows domU shutdown, it stays in ---s- state.
root@xen1:/# xm li
Name                                        ID   Mem VCPUs      State   Time(s)
Domain-0                                     0 24106     1     r-----     58.7
dc3                                          1  8192     4     ---s--     59.0
root@xen1:/# xm vcpu-list
Name                                ID  VCPU   CPU State   Time(s) CPU Affinity
Domain-0                             0     0     4   r--      48.4 any cpu
...
Domain-0                             0     7     -   --p       1.3 any cpu
dc3                                  1     0     0   ---      20.0 0
dc3                                  1     1     1   ---      10.9 1
dc3                                  1     2     2   ---      15.2 2
dc3                                  1     3     3   ---      12.9 3
The problem goes away if I tell Xen to boot with options dom0_max_vcpus=1 dom0_vcpus_pin.
What's the difference between Xen boot options to limit vcpus for dom0 to /etc/xen/xend-config.sxp?
I am running Xen 3.4.1-rc6 version.