# Copyright 2018 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.

# AF_NETLINK/NETLINK_GENERIC/fou support.

include <linux/net.h>
include <uapi/linux/netlink.h>
include <uapi/linux/genetlink.h>
include <uapi/linux/fou.h>

resource genl_fou_family_id[int16]
type msghdr_nl_fou[CMD] msghdr_netlink[netlink_msg_t[genl_fou_family_id, genlmsghdr_t[CMD], fou_nl_policy]]

syz_genetlink_get_family_id$fou(name ptr[in, string["fou"]]) genl_fou_family_id

sendmsg$FOU_CMD_ADD(fd sock_nl_generic, msg ptr[in, msghdr_nl_fou[FOU_CMD_ADD]], f flags[send_flags])
sendmsg$FOU_CMD_DEL(fd sock_nl_generic, msg ptr[in, msghdr_nl_fou[FOU_CMD_DEL]], f flags[send_flags])
sendmsg$FOU_CMD_GET(fd sock_nl_generic, msg ptr[in, msghdr_nl_fou[FOU_CMD_GET]], f flags[send_flags])

fou_nl_policy [
	FOU_ATTR_PORT			nlattr[FOU_ATTR_PORT, sock_port]
	FOU_ATTR_AF			nlattr[FOU_ATTR_AF, flags[fou_families, int8]]
	FOU_ATTR_IPPROTO		nlattr[FOU_ATTR_IPPROTO, flags[ipv6_types, int8]]
	FOU_ATTR_TYPE			nlattr[FOU_ATTR_TYPE, flags[fou_types, int8]]
	FOU_ATTR_REMCSUM_NOPARTIAL	nlattr[FOU_ATTR_REMCSUM_NOPARTIAL, void]
	FOU_ATTR_LOCAL_V4		nlattr[FOU_ATTR_LOCAL_V4, ipv4_addr]
	FOU_ATTR_LOCAL_V6		nlattr[FOU_ATTR_LOCAL_V6, ipv6_addr]
	FOU_ATTR_PEER_V4		nlattr[FOU_ATTR_PEER_V4, ipv4_addr]
	FOU_ATTR_PEER_V6		nlattr[FOU_ATTR_PEER_V6, ipv6_addr]
	FOU_ATTR_PEER_PORT		nlattr[FOU_ATTR_PEER_PORT, sock_port]
	FOU_ATTR_IFINDEX		nlattr[FOU_ATTR_IFINDEX, ifindex]
] [varlen]

fou_families = AF_INET, AF_INET6
fou_types = FOU_ENCAP_DIRECT, FOU_ENCAP_GUE