I also tried cpu hot plug for the following guest os: win7-x86_64/win8.1/win8. The results
are the same: The hot plugged cpus can only be found in Device Manager, but they never
appear in Task Manager, anyone please help to make some comments? Thank you so much!