static void ahci_restart_dma(IDEDMA *dma)
{
    /* Nothing to do, ahci_start_dma already resets s->io_buffer_offset.  */
}

The product does not release a resource after its effective lifetime has ended, i.e., after the resource is no longer needed.