Re: [PATCH v3 08/20] KVM: arm/arm64: Rename soft timer to bg_timer

2017-10-09 Thread Marc Zyngier
On 23/09/17 01:41, Christoffer Dall wrote: > As we are about to introduce a separate hrtimer for the physical timer, > call this timer bg_timer, because we refer to this timer as the > background timer in the code and comments elsewhere. > > Signed-off-by: Christoffer Dall

[PATCH v3 08/20] KVM: arm/arm64: Rename soft timer to bg_timer

2017-09-22 Thread Christoffer Dall
As we are about to introduce a separate hrtimer for the physical timer, call this timer bg_timer, because we refer to this timer as the background timer in the code and comments elsewhere. Signed-off-by: Christoffer Dall --- include/kvm/arm_arch_timer.h | 3 +--