On Wed, 3 Apr 2013 08:42:25 +0200
Jens Freimann wrote:
> From: Thang Pham
>
[...]
>
> @@ -31,25 +34,152 @@ static inline S390SCLPDevice *get_event_facility(void)
> static void read_SCP_info(SCCB *sccb)
> {
> ReadInfo *read_info = (ReadInfo *) sccb;
> +int cpu_count = standby_cpus
From: Thang Pham
This patch allows CPUs to be hotplugged to a running guest. The QEMU
option (maxcpus) can be used to define the total number of standby
and configured CPUs available at boot time, although it is not
necessary because you can hotplug standby CPUs after boot time. For
example, the
