Hi Wei, On 09/15/2017 10:42 AM, Wei Liu wrote:
Signed-off-by: Wei Liu <wei.l...@citrix.com>
Reviewed-by: Julien Grall <julien.gr...@arm.com> Cheers,
--- 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
-- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
