static int qemu_reset_requested(void)

{

    int r = reset_requested;

    if (r && replay_checkpoint(CHECKPOINT_RESET_REQUESTED)) {

        reset_requested = 0;

        return r;

    }

    return false;

}

static int qemu_reset_requested(void)

{

    int r = reset_requested;

    if (r && replay_checkpoint(CHECKPOINT_RESET_REQUESTED)) {

        reset_requested = 0;

        return r;

    }

    return false;

}

static int qemu_reset_requested(void)     int r = reset_requested;         reset_requested = 0;     return false;
static int FUNC_0(void)

{

    int VAR_0 = reset_requested;

    if (VAR_0 && replay_checkpoint(CHECKPOINT_RESET_REQUESTED)) {

        reset_requested = 0;

        return VAR_0;

    }

    return false;

}

static int FUNC_0(void)
{ int VAR_0 = reset_requested; if (VAR_0 && replay_checkpoint(CHECKPOINT_RESET_REQUESTED)) { reset_requested = 0; return VAR_0; } return false; }