# Copyright 2022 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.

include <asm/ioctl.h>
include <uapi/linux/fcntl.h>
include <uapi/linux/dma-heap.h>

resource fd_dma_heap[fd]

openat$dma_heap(fd const[AT_FDCWD], file ptr[in, string["/dev/dma_heap/system"]], flags flags[open_flags], mode const[0]) fd_dma_heap

ioctl$DMA_HEAP_IOCTL_ALLOC(fd fd_dma_heap, cmd const[DMA_HEAP_IOCTL_ALLOC], arg ptr[inout, dma_heap_allocation_data])

dma_open_flags = O_CLOEXEC, O_RDONLY, O_WRONLY, O_RDWR

resource fd_dma_heap_alloc[fd]

dma_heap_allocation_data {
	len		int64	(in)
	fd		fd_dma_heap_alloc	(out)
	fd_flags	flags[dma_open_flags, int32]	(in)
	heap_flags	const[0, int64]	(in)
}