Corpus for sendmsg$MPTCP_PM_CMD_DEL_ADDR:

Coverage	Program
10	sendmsg$MPTCP_PM_CMD_DEL_ADDR