On Mon, Apr 11, 2016 at 04:32:52PM +0100, Julien Grall wrote: > Currently, the firmware table is parsed by the virtual timer code in > order to retrieve the virtual timer interrupt. However, this is already > done by the arch timer driver. > > To avoid code duplication, extend arch_timer_kvm_info to get the virtual > IRQ. > > Note that the KVM code will be modified in a subsequent patch. > > Signed-off-by: Julien Grall <[email protected]> > Acked-by: Christoffer Dall <[email protected]> > > ---
Acked-by: Daniel Lezcano <[email protected]>

