syz_emit_vhci(0x0, 0x47)