static void sdhci_generic_reset(DeviceState *ds)

{

    SDHCIState *s = SDHCI(ds);

    SDHCI_GET_CLASS(s)->reset(s);

}

static void sdhci_generic_reset(DeviceState *ds)

{

    SDHCIState *s = SDHCI(ds);

    SDHCI_GET_CLASS(s)->reset(s);

}

static void FUNC_0(DeviceState *VAR_0)

{

    SDHCIState *s = SDHCI(VAR_0);

    SDHCI_GET_CLASS(s)->reset(s);

}

static void FUNC_0(DeviceState *VAR_0)
{ SDHCIState *s = SDHCI(VAR_0); SDHCI_GET_CLASS(s)->reset(s); }