set_timer_reg     235 arch/arm/kvm/guest.c 		return set_timer_reg(vcpu, reg);
set_timer_reg     696 arch/arm64/kvm/guest.c 		return set_timer_reg(vcpu, reg);