TIPC_MAX_PORT    2827 net/tipc/socket.c 	u32 remaining = (TIPC_MAX_PORT - TIPC_MIN_PORT) + 1;
TIPC_MAX_PORT    2832 net/tipc/socket.c 		if ((portid < TIPC_MIN_PORT) || (portid > TIPC_MAX_PORT))