get_timer_reg     216 arch/arm/kvm/guest.c 		return get_timer_reg(vcpu, reg);
get_timer_reg     678 arch/arm64/kvm/guest.c 		return get_timer_reg(vcpu, reg);