diff options
Diffstat (limited to 'include/xen')
| -rw-r--r-- | include/xen/interface/vcpu.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/xen/interface/vcpu.h b/include/xen/interface/vcpu.h index 87e6f8a48661..b05288ce3991 100644 --- a/include/xen/interface/vcpu.h +++ b/include/xen/interface/vcpu.h | |||
| @@ -170,4 +170,6 @@ struct vcpu_register_vcpu_info { | |||
| 170 | }; | 170 | }; |
| 171 | DEFINE_GUEST_HANDLE_STRUCT(vcpu_register_vcpu_info); | 171 | DEFINE_GUEST_HANDLE_STRUCT(vcpu_register_vcpu_info); |
| 172 | 172 | ||
| 173 | /* Send an NMI to the specified VCPU. @extra_arg == NULL. */ | ||
| 174 | #define VCPUOP_send_nmi 11 | ||
| 173 | #endif /* __XEN_PUBLIC_VCPU_H__ */ | 175 | #endif /* __XEN_PUBLIC_VCPU_H__ */ |