sdhci_writefn(void *opaque, hwaddr off, uint64_t val, unsigned sz)

{

    SDHCIState *s = (SDHCIState *)opaque;



    SDHCI_GET_CLASS(s)->mem_write(s, off, val, sz);

}

sdhci_writefn(void *opaque, hwaddr off, uint64_t val, unsigned sz)

{

    SDHCIState *s = (SDHCIState *)opaque;



    SDHCI_GET_CLASS(s)->mem_write(s, off, val, sz);

}

FUNC_0(void *VAR_0, hwaddr VAR_1, uint64_t VAR_2, unsigned VAR_3)

{

    SDHCIState *s = (SDHCIState *)VAR_0;



    SDHCI_GET_CLASS(s)->mem_write(s, VAR_1, VAR_2, VAR_3);

}

FUNC_0(void *VAR_0, hwaddr VAR_1, uint64_t VAR_2, unsigned VAR_3)
{ SDHCIState *s = (SDHCIState *)VAR_0; SDHCI_GET_CLASS(s)->mem_write(s, VAR_1, VAR_2, VAR_3); }