Symbol: TIPC_MAX_PORT
net/tipc/socket.c
3013
u32 remaining = (TIPC_MAX_PORT - TIPC_MIN_PORT) + 1;
net/tipc/socket.c
3018
if ((portid < TIPC_MIN_PORT) || (portid > TIPC_MAX_PORT))