/* Ensure data for SATA controller is flushed out of dcache and written to physical memory.  */
static void ahci_dcache_flush_sata_cmd(struct ahci_ioports *pp)
/* Ensure data for SATA controller is flushed out of dcache and written to physical memory.  */
static void ahci_dcache_flush_sata_cmd(struct ahci_ioports *pp)
{
	ahci_dcache_flush_range((unsigned long)pp->cmd_slot,
				AHCI_PORT_PRIV_DMA_SZ);
}