Corpus for openat$procfs:
Coverage Program
1087 io_setup-perf_event_open-eventfd-io_submit-openat-io_cancel-perf_event_open-clock_gettime-mq_timedsend-pwrite64-openat$procfs-lseek-ioctl$BTRFS_IOC_INO_LOOKUP_USER
1019 unshare-semget$private-perf_event_open-semctl$SETALL-openat$procfs-semget-getsockopt$inet_IP_IPSEC_POLICY-sendmsg$nl_xfrm-semctl$GETNCNT-semctl$GETALL-semctl$IPC_SET
825 openat$procfs-pread64
709 openat$procfs
656 openat$procfs
650 openat$procfs