Corpus for msgctl$IPC_INFO:

Coverage	Program
5693	msgctl$IPC_RMID-msgrcv-perf_event_open-msgctl$IPC_STAT-msgctl$IPC_INFO-getpgrp-msgctl$IPC_RMID-getpgrp-ioctl$TIOCGPGRP-msgctl$IPC_SET-perf_event_open-msgctl$IPC_INFO-syz_mount_image$ext4-stat-msgget$private-msgsnd-setresuid-msgctl$IPC_INFO
5692	msgctl$IPC_RMID-msgsnd-msgrcv-perf_event_open-msgctl$IPC_STAT-msgctl$IPC_INFO-getpgrp-pipe-msgctl$IPC_RMID-dup2-getpgrp-ioctl$TIOCGPGRP-msgctl$IPC_SET-perf_event_open-msgctl$IPC_INFO-syz_mount_image$ext4-msgctl$IPC_INFO
5238	msgctl$IPC_RMID-msgsnd-msgrcv-perf_event_open-msgctl$IPC_STAT-msgctl$IPC_INFO-getpgrp-pipe-msgctl$IPC_RMID-dup2-getpgrp-ioctl$TIOCGPGRP-msgctl$IPC_SET-perf_event_open-msgctl$IPC_INFO-syz_mount_image$ext4-stat-setresuid-msgctl$IPC_INFO
337	perf_event_open-msgctl$IPC_INFO
315	perf_event_open-msgctl$IPC_INFO
98	msgctl$IPC_RMID-msgsnd-msgrcv-perf_event_open-msgctl$IPC_STAT-msgctl$IPC_INFO-getpgrp-pipe-msgctl$IPC_RMID-dup2-getpgrp-ioctl$TIOCGPGRP-msgctl$IPC_SET-perf_event_open-ioctl$TIOCSPGRP-msgctl$IPC_INFO-syz_mount_image$ext4-stat-setresuid-msgctl$IPC_INFO
91	syz_genetlink_get_family_id$devlink-msgctl$IPC_INFO