Searched refs:ExecState (Results 1 – 1 of 1) sorted by relevance
61 } ExecState; typedef103 static void report_divergance(ExecState *us, ExecState *them) in report_divergance()173 ExecState us, them; in vcpu_tb_exec()184 bytes = write(socket_fd, &us, sizeof(ExecState)); in vcpu_tb_exec()185 if (bytes < sizeof(ExecState)) { in vcpu_tb_exec()197 bytes = read(socket_fd, &them, sizeof(ExecState)); in vcpu_tb_exec()198 if (bytes < sizeof(ExecState)) { in vcpu_tb_exec()