reactos/syzkaller
1
0
Fork 0
mirror of https://github.com/reactos/syzkaller.git synced 2024-11-23 11:29:46 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sys/linux: add descriptions of vga_arbiter

Browse Source 
Add desciptions for testing /dev/vga_arbiter.
Update #533
This commit is contained in:
Cheng-Min Chiang 2020-08-13 19:49:39 -07:00 committed by Matt Morehouse
parent 7016057751
commit 1d75fe458f
3 changed files with 50 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
sys/linux/dev_vga_arbiter.txt Normal file
View File

@ -0,0 +1,45 @@
# Copyright 2020 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 <fcntl.h>
resource fd_vga_arbiter[fd]
openat$vga_arbiter(fd const[AT_FDCWD], file ptr[in, string["/dev/vga_arbiter"]], flags flags[open_flags], mode const[0]) fd_vga_arbiter
write$vga_arbiter(fd fd_vga_arbiter, data ptr[in, data_vga_arbiter], len bytesize[data])
data_vga_arbiter [
target_default string["target default"]
unlock_all string["unlock all"]
target vga_arbiter_target_cmd
other vga_arbiter_io_state_cmd
] [varlen]
vga_arbiter_target_cmd {
prefix stringnoz["target "]
card_id vga_arbiter_card_id
end const[0, int8]
} [packed]
# We cannot use fmt for the numbers here or else the result string will be too long
vga_arbiter_card_id {
prefix stringnoz["PCI:"]
domain stringnoz[vga_arbiter_pci_numbers]
colon1 stringnoz[":"]
bus stringnoz[vga_arbiter_pci_numbers]
colon2 stringnoz[":"]
dev stringnoz[vga_arbiter_pci_numbers]
dot stringnoz["."]
fn stringnoz[vga_arbiter_pci_numbers]
} [packed]
vga_arbiter_pci_numbers = "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "a", "b", "c", "d", "e", "f", "10", "11", "12", "13", "14", "15", "16", "17", "18", "19", "1a", "1b", "1c", "1d", "1e", "1f"
vga_arbiter_io_state_cmd {
name stringnoz[vga_arbiter_io_state_cmd_names]
space stringnoz[" "]
io_state stringnoz[vga_arbiter_io_states]
end const[0, int8]
} [packed]
vga_arbiter_io_state_cmd_names = "lock", "trylock", "unlock", "decodes"
vga_arbiter_io_states = "io", "mem", "io+mem", "none"

5
sys/linux/dev_vga_arbiter.txt.const Normal file
View File

@ -0,0 +1,5 @@
# Code generated by syz-sysgen. DO NOT EDIT.
arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
AT_FDCWD = 18446744073709551516
__NR_openat = 56, 386:295, amd64:257, arm:322, mips64le:5247, ppc64le:286, s390x:288
__NR_write = 4, amd64:1, arm64:riscv64:64, mips64le:5001

1
sys/linux/sys.txt
View File

@ -552,7 +552,6 @@ syz_open_dev$media(dev ptr[in, string["/dev/media#"]], id intptr, flags flags[op
openat$null(fd const[AT_FDCWD], file ptr[in, string["/dev/null"]], flags flags[open_flags], mode const[0]) fd
openat$zero(fd const[AT_FDCWD], file ptr[in, string["/dev/zero"]], flags flags[open_flags], mode const[0]) fd
openat$full(fd const[AT_FDCWD], file ptr[in, string["/dev/full"]], flags flags[open_flags], mode const[0]) fd
openat$vga_arbiter(fd const[AT_FDCWD], file ptr[in, string["/dev/vga_arbiter"]], flags flags[open_flags], mode const[0]) fd
openat$qat_adf_ctl(fd const[AT_FDCWD], file ptr[in, string["/dev/qat_adf_ctl"]], flags flags[open_flags], mode const[0]) fd
openat$irnet(fd const[AT_FDCWD], file ptr[in, string["/dev/irnet"]], flags flags[open_flags], mode const[0]) fd
openat$hwrng(fd const[AT_FDCWD], file ptr[in, string["/dev/hwrng"]], flags flags[open_flags], mode const[0]) fd