On 10/17/2017 09:15 PM, Emilio G. Cota wrote:
> On Mon, Oct 16, 2017 at 10:25:42 -0700, Richard Henderson wrote:
>> ---
>> accel/tcg/cpu-exec.c | 4 ++--
>> 1 file changed, 2 insertions(+), 2 deletions(-)
>>
>> diff --git a/accel/tcg/cpu-exec.c b/accel/tcg/cpu-exec.c
>> index 39ec9508d1..99f1d519c
On Mon, Oct 16, 2017 at 10:25:42 -0700, Richard Henderson wrote:
> ---
> accel/tcg/cpu-exec.c | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/accel/tcg/cpu-exec.c b/accel/tcg/cpu-exec.c
> index 39ec9508d1..99f1d519c5 100644
> --- a/accel/tcg/cpu-exec.c
> +++ b/accel/t