is_timer_reg      215 arch/arm/kvm/guest.c 	if (is_timer_reg(reg->id))
is_timer_reg      234 arch/arm/kvm/guest.c 	if (is_timer_reg(reg->id))
is_timer_reg      677 arch/arm64/kvm/guest.c 	if (is_timer_reg(reg->id))
is_timer_reg      695 arch/arm64/kvm/guest.c 	if (is_timer_reg(reg->id))