Searched refs:ExecState (Results 1 – 1 of 1) sorted by relevance
62 } ExecState; typedef129 static void report_divergance(ExecState *us, ExecState *them) in report_divergance()199 ExecState us, them; in vcpu_tb_exec()210 bytes = write(socket_fd, &us, sizeof(ExecState)); in vcpu_tb_exec()211 if (bytes < sizeof(ExecState)) { in vcpu_tb_exec()223 bytes = read(socket_fd, &them, sizeof(ExecState)); in vcpu_tb_exec()224 if (bytes < sizeof(ExecState)) { in vcpu_tb_exec()