TCPExtras is located in:

• tcp/src/POSIX/TCPExtras.m3
• tcp/src/WIN32/TCPExtras.m3