[PATCH 3.2 030/104] KVM: VMX: Make use of asm.h