static void ahci_start_dma(IDEDMA *dma, IDEState *s,

                           BlockCompletionFunc *dma_cb)

{

#ifdef DEBUG_AHCI

    AHCIDevice *ad = DO_UPCAST(AHCIDevice, dma, dma);

#endif

    DPRINTF(ad->port_no, "\n");

    s->io_buffer_offset = 0;

    dma_cb(s, 0);

}

static void ahci_start_dma(IDEDMA *dma, IDEState *s,

                           BlockCompletionFunc *dma_cb)

{

#ifdef DEBUG_AHCI

    AHCIDevice *ad = DO_UPCAST(AHCIDevice, dma, dma);

#endif

    DPRINTF(ad->port_no, "\n");

    s->io_buffer_offset = 0;

    dma_cb(s, 0);

}

#ifdef DEBUG_AHCI #endif #ifdef DEBUG_AHCI #ifdef DEBUG_AHCI #endif
static void FUNC_0(IDEDMA *VAR_0, IDEState *VAR_1,

                           BlockCompletionFunc *VAR_2)

{

#ifdef DEBUG_AHCI

    AHCIDevice *ad = DO_UPCAST(AHCIDevice, VAR_0, VAR_0);

#endif

    DPRINTF(ad->port_no, "\n");

    VAR_1->io_buffer_offset = 0;

    VAR_2(VAR_1, 0);

}

static void FUNC_0(IDEDMA *VAR_0, IDEState *VAR_1,
BlockCompletionFunc *VAR_2)
{ #ifdef DEBUG_AHCI
AHCIDevice *ad = DO_UPCAST(AHCIDevice, VAR_0, VAR_0); #endif
DPRINTF(ad->port_no, "\n"); VAR_1->io_buffer_offset = 0; VAR_2(VAR_1, 0); }