# https://syzkaller.appspot.com/bug?id=7349616606afa3c986c377792f7ccbf9daae1142
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":1,"slowdown":1,"sandbox":"","sandbox_arg":0,"close_fds":false}
r0 = openat$vga_arbiter(0xffffffffffffff9c, &(0x7f0000000080), 0x40002, 0x0)
write$vga_arbiter(r0, &(0x7f0000000200)=@other={'lock', ' ', 'io'}, 0x8)
write$vga_arbiter(r0, &(0x7f0000000380)=@other={'unlock', ' ', 'io'}, 0xa) (async)
write$vga_arbiter(r0, &(0x7f0000000380)=@other={'unlock', ' ', 'io'}, 0xa)