tcp_ecn_get_ace
delta_cep = (tcp_ecn_get_ace(thflags) + 8 -
switch (tcp_ecn_get_ace(thflags)) {
static inline int tcp_ecn_get_ace(uint16_t);