3edb8f92e8
Needed for qemu_cpu_kick(). Signed-off-by: Andreas Färber <afaerber@suse.de>
Needed for qemu_cpu_kick(). Signed-off-by: Andreas Färber <afaerber@suse.de>