This is a repost of the -smp series. Note that it depends on irqchip-in-kernel, that is already in staging. Also, you'll have to enable the io-thread, for the time being.
>From the last version, main change is that I am not calling queue_work >automatically from vcpu ioctls. queue_work is only used currently for the gdb stub. All other uses were by-passed by the new qemu_register_vcpu_reset(), since most of it uses (all racy) came from the reset handlers. Enjoy
