# https://syzkaller.appspot.com/bug?id=4374989c5ba09d550da74de3ef1fe967c08c074e
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"procs":1,"sandbox":"","fault_call":-1,"close_fds":false}
r0 = openat$vhci(0xffffffffffffff9c, &(0x7f0000000040)='/dev/vhci\x00', 0x28402)
write$vhci(r0, &(0x7f00000002c0)=@HCI_VENDOR_PKT={0xff, 0x80}, 0x2)