static bool gscb_needed(void *opaque)

{

    return kvm_s390_get_gs();

}

static bool gscb_needed(void *opaque)

{

    return kvm_s390_get_gs();

}

    return kvm_s390_get_gs();
static bool FUNC_0(void *opaque)

{

    return kvm_s390_get_gs();

}

static bool FUNC_0(void *opaque)
{ return kvm_s390_get_gs(); }