is_timer_reg      108 arch/arm/kvm/guest.c static bool is_timer_reg(u64 index)
is_timer_reg      507 arch/arm64/kvm/guest.c static bool is_timer_reg(u64 index)