# Copyright 2017 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_AX25 support.

include <linux/socket.h>
include <linux/net.h>
include <linux/if_ether.h>
include <linux/if_arp.h>
include <linux/ax25.h>
include <net/ax25.h>

resource sock_ax25[sock]

syz_init_net_socket$ax25(domain const[AF_AX25], type flags[ax25_socket_types], proto flags[ax25_protocols]) sock_ax25
bind$ax25(fd sock_ax25, addr ptr[in, full_sockaddr_ax25], addrlen len[addr])
connect$ax25(fd sock_ax25, addr ptr[in, full_sockaddr_ax25], addrlen len[addr])
accept$ax25(fd sock_ax25, peer ptr[out, full_sockaddr_ax25, opt], peerlen ptr[inout, len[peer, int32]]) sock_ax25
accept4$ax25(fd sock_ax25, peer ptr[out, full_sockaddr_ax25, opt], peerlen ptr[inout, len[peer, int32]], flags flags[accept_flags]) sock_ax25
sendto$ax25(fd sock_ax25, buf ptr[in, array[int8]], len len[buf], f flags[send_flags], addr ptr[in, full_sockaddr_ax25, opt], addrlen len[addr])
recvfrom$ax25(fd sock_ax25, buf ptr[out, array[int8]], len len[buf], f flags[recv_flags], addr ptr[in, full_sockaddr_ax25, opt], addrlen len[addr])
getsockname$ax25(fd sock_ax25, addr ptr[out, full_sockaddr_ax25], addrlen ptr[inout, len[addr, int32]])
getpeername$ax25(fd sock_ax25, peer ptr[out, full_sockaddr_ax25], peerlen ptr[inout, len[peer, int32]])

ax25_socket_types = SOCK_DGRAM, SOCK_SEQPACKET, SOCK_RAW
ax25_protocols = AX25_P_ROSE, AX25_P_VJCOMP, AX25_P_VJUNCOMP, AX25_P_SEGMENT, AX25_P_TEXNET, AX25_P_LQ, AX25_P_ATALK, AX25_P_ATALK_ARP, AX25_P_IP, AX25_P_ARP, AX25_P_FLEXNET, AX25_P_NETROM, AX25_P_TEXT

ax25_address [
	remote	ax25_address_remote
	bcast	ax25_address_bcast
	default	ax25_address_default
	null	ax25_address_null
	netrom	address_netrom_dev
# TODO: rose address is 5 bytes, ax25 is 7, should it even be here?
	rose	rose_address_dev
] [size[7]]

# Just some address without special meaning.
ax25_address_remote {
	b0	const[0xcc, int8]
	b1	const[0xcc, int8]
	b2	const[0xcc, int8]
	b3	const[0xcc, int8]
	b4	const[0xcc, int8]
	b5	const[0xcc, int8]
	b6	proc[0x0, 4, int8]
}

# {{'Q' << 1, 'S' << 1, 'T' << 1, ' ' << 1, ' ' << 1, ' ' << 1, 0 << 1}}
ax25_address_bcast {
	b0	const[0xa2, int8]
	b1	const[0xa6, int8]
	b2	const[0xa8, int8]
	b3	const[0x40, int8]
	b4	const[0x40, int8]
	b5	const[0x40, int8]
	b6	const[0x0, int8]
}

# {{'L' << 1, 'I' << 1, 'N' << 1, 'U' << 1, 'X' << 1, ' ' << 1, 1 << 1}}
ax25_address_default {
	b0	const[0x98, int8]
	b1	const[0x92, int8]
	b2	const[0x9c, int8]
	b3	const[0xaa, int8]
	b4	const[0xb0, int8]
	b5	const[0x40, int8]
	b6	const[0x2, int8]
}

# {{' ' << 1, ' ' << 1, ' ' << 1, ' ' << 1, ' ' << 1, ' ' << 1, 0 << 1}}
ax25_address_null {
	b0	const[0x40, int8]
	b1	const[0x40, int8]
	b2	const[0x40, int8]
	b3	const[0x40, int8]
	b4	const[0x40, int8]
	b5	const[0x40, int8]
	b6	const[0x0, int8]
}

sockaddr_ax25 {
	sax25_family	const[AF_AX25, int16]
	sax25_call	ax25_address
	sax25_ndigis	int32[0:AX25_MAX_DIGIS]
}

sockaddr_ax25_uid {
	sax25_family	const[AF_AX25, int16]
	sax25_call	ax25_address
	sax25_ndigis	uid
}

full_sockaddr_ax25 {
	fsa_ax25	sockaddr_ax25
	fsa_digipeater	array[ax25_address, AX25_MAX_DIGIS]
}

# Generic options

ax25_option_types_int = AX25_WINDOW, AX25_T1, AX25_T2, AX25_N2, AX25_T3, AX25_IDLE, AX25_BACKOFF, AX25_EXTSEQ, AX25_PIDINCL, AX25_IAMDIGI, AX25_PACLEN

getsockopt$ax25_int(fd sock_ax25, level const[SOL_AX25], optname flags[ax25_option_types_int], optval ptr[out, int32], optlen ptr[inout, len[optval, int32]])
setsockopt$ax25_int(fd sock_ax25, level const[SOL_AX25], optname flags[ax25_option_types_int], optval ptr[in, int32], optlen len[optval])

setsockopt$ax25_SO_BINDTODEVICE(fd sock_ax25, level const[SOL_AX25], optname const[SO_BINDTODEVICE], optval ptr[in, ax25_devname], optlen len[optval])

ax25_devname [
	rose	ax25_devname_rose
	netrom	ax25_devname_netrom
	bpq0	string["bpq0", IFNAMSIZ]
]

ax25_devname_rose {
	name	stringnoz["rose"]
	id	proc['0', 1, int8]
	z	const[0, int8]
} [size[IFNAMSIZ]]

ax25_devname_netrom {
	name	stringnoz["nr"]
	id	proc['0', 1, int8]
	z	const[0, int8]
} [size[IFNAMSIZ]]

ioctl$SIOCAX25ADDUID(fd sock_ax25, cmd const[SIOCAX25ADDUID], arg ptr[in, sockaddr_ax25_uid])
ioctl$SIOCAX25DELUID(fd sock_ax25, cmd const[SIOCAX25DELUID], arg ptr[in, sockaddr_ax25_uid])
ioctl$SIOCAX25GETUID(fd sock_ax25, cmd const[SIOCAX25GETUID], arg ptr[in, sockaddr_ax25_uid])
ioctl$SIOCAX25NOUID(fd sock_ax25, cmd const[SIOCAX25NOUID], arg ptr[in, int64[0:AX25_NOUID_BLOCK]])
ioctl$SIOCAX25CTLCON(fd sock_ax25, cmd const[SIOCAX25CTLCON], arg ptr[in, ax25_ctl_struct])
ioctl$SIOCAX25GETINFO(fd sock_ax25, cmd const[SIOCAX25GETINFO], arg ptr[out, array[int8, AX25_INFO_SIZE]])
ioctl$SIOCAX25GETINFOOLD(fd sock_ax25, cmd const[SIOCAX25GETINFOOLD], arg ptr[out, array[int8, AX25_INFO_OLD_SIZE]])
ioctl$SIOCAX25ADDFWD(fd sock_ax25, cmd const[SIOCAX25ADDFWD], arg ptr[in, ax25_fwd_struct])
ioctl$SIOCAX25DELFWD(fd sock_ax25, cmd const[SIOCAX25DELFWD], arg ptr[in, ax25_fwd_struct])
ioctl$sock_ax25_SIOCADDRT(fd sock_ax25, cmd const[SIOCADDRT], arg ptr[in, ax25_routes_struct])
ioctl$sock_ax25_SIOCDELRT(fd sock_ax25, cmd const[SIOCDELRT], arg ptr[in, ax25_routes_struct])
ioctl$SIOCAX25OPTRT(fd sock_ax25, cmd const[SIOCAX25OPTRT], arg ptr[in, ax25_route_opt_struct])

define AX25_INFO_SIZE	sizeof(struct ax25_info_struct)
define AX25_INFO_OLD_SIZE	sizeof(struct ax25_info_struct_deprecated)

ax25_ctl_struct {
	port_addr	ax25_address
	source_addr	ax25_address
	dest_addr	ax25_address
	cmd		flags[ax25_ctl_cmd, int32]
	arg		intptr
	digi_count	int8[0:AX25_MAX_DIGIS]
	digi_addr	array[ax25_address, AX25_MAX_DIGIS]
}

ax25_ctl_cmd = AX25_WINDOW, AX25_T1, AX25_N2, AX25_T3, AX25_T2, AX25_BACKOFF, AX25_EXTSEQ, AX25_PIDINCL, AX25_IDLE, AX25_PACLEN, AX25_IAMDIGI, AX25_KILL

ax25_fwd_struct {
	port_from	ax25_address
	port_to		ax25_address
}

ax25_routes_struct {
	port_addr	ax25_address
	dest_addr	ax25_address
	digi_count	int8[0:AX25_MAX_DIGIS]
	digi_addr	array[ax25_address, AX25_MAX_DIGIS]
}

ax25_route_opt_struct {
	port_addr	ax25_address
	dest_addr	ax25_address
	cmd		const[AX25_SET_RT_IPMODE, int32]
	arg		flags[ax25_route_ipmodes, int32]
}

ax25_route_ipmodes = ' ', 'D', 'V'