diff options
Diffstat (limited to 'hw/xen_common.h')
| -rw-r--r-- | hw/xen_common.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hw/xen_common.h b/hw/xen_common.h index cc99204e8b..727757afb4 100644 --- a/hw/xen_common.h +++ b/hw/xen_common.h @@ -154,4 +154,7 @@ static inline int xen_xc_hvm_inject_msi(XenXC xen_xc, domid_t dom, void destroy_hvm_domain(bool reboot); +/* shutdown/destroy current domain because of an error */ +void xen_shutdown_fatal_error(const char *fmt, ...) GCC_FMT_ATTR(1, 2); + #endif /* QEMU_HW_XEN_COMMON_H */ |