--- zzzz-none-000/linux-3.10.107/include/xen/interface/vcpu.h	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/include/xen/interface/vcpu.h	2021-02-04 17:41:59.000000000 +0000
@@ -170,4 +170,6 @@
 };
 DEFINE_GUEST_HANDLE_STRUCT(vcpu_register_vcpu_info);
 
+/* Send an NMI to the specified VCPU. @extra_arg == NULL. */
+#define VCPUOP_send_nmi             11
 #endif /* __XEN_PUBLIC_VCPU_H__ */