Corpus for sendmsg$MPTCP_PM_CMD_DEL_ADDR:
Coverage
Program