taglinefilesource code
TCP_PUSH_BIT437drivers/net/slhc.cchanges |= TCP_PUSH_BIT;
TCP_PUSH_BIT537drivers/net/slhc.cthp->psh = (changes & TCP_PUSH_BIT) ? 1 : 0;