void tcg_region_reset_all(void)

{

    unsigned int i;



    qemu_mutex_lock(&region.lock);

    region.current = 0;

    region.agg_size_full = 0;



    for (i = 0; i < n_tcg_ctxs; i++) {

        bool err = tcg_region_initial_alloc__locked(tcg_ctxs[i]);



        g_assert(!err);

    }

    qemu_mutex_unlock(&region.lock);

}

void tcg_region_reset_all(void)

{

    unsigned int i;



    qemu_mutex_lock(&region.lock);

    region.current = 0;

    region.agg_size_full = 0;



    for (i = 0; i < n_tcg_ctxs; i++) {

        bool err = tcg_region_initial_alloc__locked(tcg_ctxs[i]);



        g_assert(!err);

    }

    qemu_mutex_unlock(&region.lock);

}

void FUNC_0(void)

{

    unsigned int VAR_0;



    qemu_mutex_lock(&region.lock);

    region.current = 0;

    region.agg_size_full = 0;



    for (VAR_0 = 0; VAR_0 < n_tcg_ctxs; VAR_0++) {

        bool err = tcg_region_initial_alloc__locked(tcg_ctxs[VAR_0]);



        g_assert(!err);

    }

    qemu_mutex_unlock(&region.lock);

}

void FUNC_0(void)
{ unsigned int VAR_0; qemu_mutex_lock(&region.lock); region.current = 0; region.agg_size_full = 0; for (VAR_0 = 0; VAR_0 < n_tcg_ctxs; VAR_0++) { bool err = tcg_region_initial_alloc__locked(tcg_ctxs[VAR_0]); g_assert(!err); } qemu_mutex_unlock(&region.lock); }