On Fri, Oct 20 2017 at 1:49:26 pm BST, Christoffer Dall <christoffer.dall@xxxxxxxxxx> wrote: > From: Christoffer Dall <cdall@xxxxxxxxxx> > > We are about to add an additional soft timer to the arch timer state for > a VCPU and would like to be able to reuse the functions to program and > cancel a timer, so we make them slightly more generic and rename to make > it more clear that these functions work on soft timers and not the > hardware resource that this code is managing. > > The armed flag on the timer state is only used to assert a condition, > and we don't rely on this assertion in any meaningful way, so we can > simply get rid of this flack and slightly reduce complexity. > > Signed-off-by: Christoffer Dall <cdall@xxxxxxxxxx> Acked-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny.