static void block_set_params(const MigrationParams *params, void *opaque)

{

    block_mig_state.blk_enable = params->blk;

    block_mig_state.shared_base = params->shared;



    /* shared base means that blk_enable = 1 */

    block_mig_state.blk_enable |= params->shared;

}

static void block_set_params(const MigrationParams *params, void *opaque)

{

    block_mig_state.blk_enable = params->blk;

    block_mig_state.shared_base = params->shared;



    

    block_mig_state.blk_enable |= params->shared;

}

static void FUNC_0(const MigrationParams *VAR_0, void *VAR_1)

{

    block_mig_state.blk_enable = VAR_0->blk;

    block_mig_state.shared_base = VAR_0->shared;



    

    block_mig_state.blk_enable |= VAR_0->shared;

}

static void FUNC_0(const MigrationParams *VAR_0, void *VAR_1)
{ block_mig_state.blk_enable = VAR_0->blk; block_mig_state.shared_base = VAR_0->shared; block_mig_state.blk_enable |= VAR_0->shared; }