int kvm_has_xcrs(void)

{

    return kvm_state->xcrs;

}

int kvm_has_xcrs(void)

{

    return kvm_state->xcrs;

}

int FUNC_0(void)

{

    return kvm_state->xcrs;

}

int FUNC_0(void)
{ return kvm_state->xcrs; }