return min(min_virt, min_phys);
 }
 
-static enum hrtimer_restart kvm_timer_expire(struct hrtimer *hrt)
+static enum hrtimer_restart kvm_bg_timer_expire(struct hrtimer *hrt)
 {
        struct arch_timer_cpu *timer;
        struct kvm_vcpu *vcpu;
        u64 ns;
 
-       timer = container_of(hrt, struct arch_timer_cpu, timer);
+       timer = container_of(hrt, struct arch_timer_cpu, bg_timer);
        vcpu = container_of(timer, struct kvm_vcpu, arch.timer_cpu);
 
        /*
                return;
 
        /*  The timer has not yet expired, schedule a background timer */
-       soft_timer_start(&timer->timer, kvm_timer_compute_delta(timer_ctx));
+       soft_timer_start(&timer->bg_timer, kvm_timer_compute_delta(timer_ctx));
 }
 
 /*
         * The guest timers have not yet expired, schedule a background timer.
         * Set the earliest expiration time among the guest timers.
         */
-       soft_timer_start(&timer->timer, kvm_timer_earliest_exp(vcpu));
+       soft_timer_start(&timer->bg_timer, kvm_timer_earliest_exp(vcpu));
 }
 
 void kvm_timer_unschedule(struct kvm_vcpu *vcpu)
 {
        struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;
 
-       soft_timer_cancel(&timer->timer, &timer->expired);
+       soft_timer_cancel(&timer->bg_timer, &timer->expired);
 }
 
 static void kvm_timer_flush_hwstate_vgic(struct kvm_vcpu *vcpu)
         * This is to cancel the background timer for the physical timer
         * emulation if it is set.
         */
-       soft_timer_cancel(&timer->timer, &timer->expired);
+       soft_timer_cancel(&timer->bg_timer, &timer->expired);
 
        /*
         * The guest could have modified the timer registers or the timer
        vcpu_ptimer(vcpu)->cntvoff = 0;
 
        INIT_WORK(&timer->expired, kvm_timer_inject_irq_work);
-       hrtimer_init(&timer->timer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);
-       timer->timer.function = kvm_timer_expire;
+       hrtimer_init(&timer->bg_timer, CLOCK_MONOTONIC, HRTIMER_MODE_ABS);
+       timer->bg_timer.function = kvm_bg_timer_expire;
 
        vtimer->irq.irq = default_vtimer_irq.irq;
        ptimer->irq.irq = default_ptimer_irq.irq;
        struct arch_timer_cpu *timer = &vcpu->arch.timer_cpu;
        struct arch_timer_context *vtimer = vcpu_vtimer(vcpu);
 
-       soft_timer_cancel(&timer->timer, &timer->expired);
+       soft_timer_cancel(&timer->bg_timer, &timer->expired);
        kvm_vgic_unmap_phys_irq(vcpu, vtimer->irq.irq);
 }