KVM_EX_PUSH       710 include/asm-x86/kvm_host.h # define KVM_EX_PUSH "pushq"
KVM_EX_PUSH       713 include/asm-x86/kvm_host.h # define KVM_EX_PUSH "pushl"