On Tue, Mar 08, 2016 at 11:29:31AM +0000, Julien Grall wrote: > The firmware table is currently 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, use the newly function arch_timer_get_kvm_info() > which return all the information required by the virtual timer code. > > Signed-off-by: Julien Grall <julien.grall@xxxxxxx> > Acked-by: Christoffer Dall <christoffer.dall@xxxxxxxxxx> _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm