aboutsummaryrefslogtreecommitdiff
path: root/hw/xen_common.h
diff options
context:
space:
mode:
authorJohn V. Baboval <john.baboval@virtualcomputer.com>2012-05-17 10:33:09 +0000
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>2012-05-17 10:52:38 +0000
commit180640ea071c98739b6cc55b8d03367bcb442b94 (patch)
tree85694bf55d7a9aec7cc732d0589372560b3afb34 /hw/xen_common.h
parenta4f1a7589ad0926fc8db1a6c56d1c3e015be565c (diff)
Call xc_domain_shutdown with the reboot flag when the guest requests a reboot.
Signed-off-by: John V. Baboval <john.baboval@virtualcomputer.com> Signed-off-by: Tom Goetz <tom.goetz@virtualcomputer.com> Signed-off-by: Anthony PERARD <anthony.perard@citrix.com> Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'hw/xen_common.h')
-rw-r--r--hw/xen_common.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/hw/xen_common.h b/hw/xen_common.h
index 7043c14cae..fe7f227f92 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 */