static void sd_set_ocr(SDState *sd)

{

    /* All voltages OK, card power-up OK, Standard Capacity SD Memory Card */

    sd->ocr = 0x80ffff00;

}

static void sd_set_ocr(SDState *sd)

{

    

    sd->ocr = 0x80ffff00;

}

static void FUNC_0(SDState *VAR_0)

{

    

    VAR_0->ocr = 0x80ffff00;

}

static void FUNC_0(SDState *VAR_0)
{ VAR_0->ocr = 0x80ffff00; }