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 <cdall@xxxxxxxxxx> Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny...
