# CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
