diff options
Diffstat (limited to 'hw')
| -rw-r--r-- | hw/xen.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hw/xen.h b/hw/xen.h index e3cca7fb92..6235f91fe0 100644 --- a/hw/xen.h +++ b/hw/xen.h @@ -21,9 +21,9 @@ enum xen_mode { extern uint32_t xen_domid; extern enum xen_mode xen_mode; -extern int xen_allowed; +extern bool xen_allowed; -static inline int xen_enabled(void) +static inline bool xen_enabled(void) { #if defined(CONFIG_XEN_BACKEND) && !defined(CONFIG_NO_XEN) return xen_allowed; |