Signed-off-by: Wei Liu <wei.l...@citrix.com>
---
xen/arch/arm/vtimer.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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
--
2.11.0
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
