/* Read the current value of the RTT timer value.  */
uint32_t rtt_read_timer_value(Rtt *p_rtt)
/* Read the current value of the RTT timer value.  */
uint32_t rtt_read_timer_value(Rtt *p_rtt)
{
	uint32_t rtt_val = p_rtt->RTT_VR;
	while (rtt_val != p_rtt->RTT_VR) {
		rtt_val = p_rtt->RTT_VR;
	}
	return rtt_val;
}