32-bit SMP Linux uses xchg instruction to access APIC (see apic_write_atomic()). Attached is patch that adds support for this instruction. The patch also fixes missed dependencies (in xen/Rules.mk) on header files in include/asm-x86/hvm. -boris