sdhci_buff_access_is_sequential(SDHCIState *s, unsigned byte_num)

{

    if ((s->data_count & 0x3) != byte_num) {

        ERRPRINT("Non-sequential access to Buffer Data Port register"

                "is prohibited\n");

        return false;

    }

    return true;

}

sdhci_buff_access_is_sequential(SDHCIState *s, unsigned byte_num)

{

    if ((s->data_count & 0x3) != byte_num) {

        ERRPRINT("Non-sequential access to Buffer Data Port register"

                "is prohibited\n");

        return false;

    }

    return true;

}

        ERRPRINT("Non-sequential access to Buffer Data Port register"                 "is prohibited\n");
FUNC_0(SDHCIState *VAR_0, unsigned VAR_1)

{

    if ((VAR_0->data_count & 0x3) != VAR_1) {

        ERRPRINT("Non-sequential access to Buffer Data Port register"

                "is prohibited\n");

        return false;

    }

    return true;

}

FUNC_0(SDHCIState *VAR_0, unsigned VAR_1)
{ if ((VAR_0->data_count & 0x3) != VAR_1) { ERRPRINT("Non-sequential access to Buffer Data Port register"
"is prohibited\n"); return false; } return true; }