Constant CONFIG_GNRC_TCP_RTO_A_DIV

pub const CONFIG_GNRC_TCP_RTO_A_DIV: u32 = 8;