/* Get the status register value of the given RTT.  */
uint32_t rtt_get_status(Rtt *p_rtt)
/* Get the status register value of the given RTT.  */
uint32_t rtt_get_status(Rtt *p_rtt)
{
	return p_rtt->RTT_SR;
}