From: Wei Liu <wei.liu2@citrix.com>
Date: Fri, 15 Sep 2017 09:18:38 +0000 (+0100)
Subject: arm/vtimer.c: switch to plain bool
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=cd310cf2576bb53f56dccbb3e2bb7e0b073cb516;p=people%2Froyger%2Fxen.git

arm/vtimer.c: switch to plain bool

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
---

diff --git a/xen/arch/arm/vtimer.c b/xen/arch/arm/vtimer.c
index 0460962f08..3f84893a74 100644
--- a/xen/arch/arm/vtimer.c
+++ b/xen/arch/arm/vtimer.c
@@ -100,7 +100,7 @@ int domain_vtimer_init(struct domain *d, struct xen_arch_domainconfig *config)
 int vcpu_vtimer_init(struct vcpu *v)
 {
     struct vtimer *t = &v->arch.phys_timer;
-    bool_t d0 = is_hardware_domain(v->domain);
+    bool d0 = is_hardware_domain(v->domain);
 
     /*
      * Hardware domain uses the hardware interrupts, guests get the virtual