Corpus for sendmsg$TIPC_CMD_GET_MAX_PORTS:

Coverage	Program