diff options
Diffstat (limited to 'hw/xen_common.h')
| -rw-r--r-- | hw/xen_common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hw/xen_common.h b/hw/xen_common.h index 7043c14ca..fe7f227f9 100644 --- a/hw/xen_common.h +++ b/hw/xen_common.h @@ -148,6 +148,6 @@ static inline int xen_xc_hvm_inject_msi(XenXC xen_xc, domid_t dom, } #endif -void destroy_hvm_domain(void); +void destroy_hvm_domain(bool reboot); #endif /* QEMU_HW_XEN_COMMON_H */ |