Xen has always supported SMP hosts
Important to make virtualization ubiquitous, enterprise
IPI: InterProcessor Interrupt