# Code generated by syz-declextract. DO NOT EDIT.

meta automatic

type auto_todo int8

include <vdso/bits.h>
include <linux/types.h>
include <linux/usbdevice_fs.h>
include <include/uapi/file_operations.h>

resource fd_foo_file_operations[fd]
openat$auto_foo_file_operations(fd const[AT_FDCWD], file ptr[in, string["/dev/foo"]], flags flags[open_flags], mode const[0]) fd_foo_file_operations
read$auto_foo_file_operations(fd fd_foo_file_operations, buf ptr[out, array[int8]], len bytesize[buf])
write$auto_foo_file_operations(fd fd_foo_file_operations, buf ptr[in, array[int8]], len bytesize[buf])
mmap$auto_foo_file_operations(addr vma, len len[addr], prot flags[mmap_prot], flags flags[mmap_flags], fd fd_foo_file_operations, offset fileoff)
ioctl$auto_FOO_IOCTL1(fd fd_foo_file_operations, cmd const[FOO_IOCTL1], arg const[0])
ioctl$auto_FOO_IOCTL10(fd fd_foo_file_operations, cmd const[FOO_IOCTL10], arg ptr[in, array[int8]])
ioctl$auto_FOO_IOCTL11(fd fd_foo_file_operations, cmd const[FOO_IOCTL11], arg ptr[in, array[int8]])
ioctl$auto_FOO_IOCTL12(fd fd_foo_file_operations, cmd const[FOO_IOCTL12], arg ptr[in, array[int8]])
ioctl$auto_FOO_IOCTL2(fd fd_foo_file_operations, cmd const[FOO_IOCTL2], arg ptr[in, int32])
ioctl$auto_FOO_IOCTL3(fd fd_foo_file_operations, cmd const[FOO_IOCTL3], arg ptr[in, foo_ioctl_arg$auto])
ioctl$auto_FOO_IOCTL4(fd fd_foo_file_operations, cmd const[FOO_IOCTL4], arg ptr[inout, foo_ioctl_arg$auto])
ioctl$auto_FOO_IOCTL5(fd fd_foo_file_operations, cmd const[FOO_IOCTL5], arg ptr[inout, foo_ioctl_arg$auto])
ioctl$auto_FOO_IOCTL6(fd fd_foo_file_operations, cmd const[FOO_IOCTL6], arg const[0])
ioctl$auto_FOO_IOCTL7(fd fd_foo_file_operations, cmd const[FOO_IOCTL7], arg const[0])

foo_ioctl_arg$auto {
	a	int32
	b	int32
}

define FOO_IOCTL12	2147771148