syz_emit_vhci(0x0, 0x0)