tree 038fa89749fe67fbfc7d0216c4fa015cdf3022c5
parent 8409a06f2a2c0baeb6e6ff020b2c5a4592b3078d
author Christoffer Dall <cdall@linaro.org> 1497709982 -0700
committer Christoffer Dall <christoffer.dall@linaro.org> 1509981791 +0100

KVM: arm/arm64: Rename soft timer to bg_timer

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 <cdall@linaro.org>
Acked-by: Marc Zyngier <marc.zyngier@arm.com>