/* Function for incrementing the sequence number counter of the TX packet.  */
static __INLINE void packet_number_tx_inc(void)
/* Function for incrementing the sequence number counter of the TX packet.  */
static __INLINE void packet_number_tx_inc(void)
{
    ++m_packet_transmit_seq_number;
    m_packet_transmit_seq_number &= 0x07u;
}