diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-18 19:45:47 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-18 19:45:47 +0200 |
| commit | 920b18be87d248413f549d978d7dd68495a6ea7c (patch) | |
| tree | e3b2857839df49df2efaf4337bfda737113cd2af /sys/linux/socket_netlink_generic_team.txt | |
| parent | 2dcee3b338d368c6d4f10e0e29c95cbc3ea4e9df (diff) | |
sys: mark output resources as opt
Mark output resources as opt in preparation for more
precise constructor calculation.
Diffstat (limited to 'sys/linux/socket_netlink_generic_team.txt')
| -rw-r--r-- | sys/linux/socket_netlink_generic_team.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/socket_netlink_generic_team.txt b/sys/linux/socket_netlink_generic_team.txt index b1917169d..d0f8c8699 100644 --- a/sys/linux/socket_netlink_generic_team.txt +++ b/sys/linux/socket_netlink_generic_team.txt @@ -14,7 +14,7 @@ resource ifindex_team[ifindex] type msghdr_nl_team[CMD] msghdr_netlink[netlink_msg_t[genl_team_family_id, genlmsghdr_t[CMD], team_nl_policy]] syz_genetlink_get_family_id$team(name ptr[in, string["team"]]) genl_team_family_id -ioctl$ifreq_SIOCGIFINDEX_team(fd sock, cmd const[SIOCGIFINDEX], arg ptr[inout, ifreq_dev_t["team0", ifindex_team]]) +ioctl$ifreq_SIOCGIFINDEX_team(fd sock, cmd const[SIOCGIFINDEX], arg ptr[inout, ifreq_dev_t["team0", ifindex_team[opt]]]) sendmsg$TEAM_CMD_NOOP(fd sock_nl_generic, msg ptr[in, msghdr_nl_team[TEAM_CMD_NOOP]], f flags[send_flags]) sendmsg$TEAM_CMD_OPTIONS_SET(fd sock_nl_generic, msg ptr[in, msghdr_nl_team[TEAM_CMD_OPTIONS_SET]], f flags[send_flags]) |