Ejemplo n.º 1
0
void __glue(_CACHE, _dma_map_area)(const void *start, size_t sz, int direction)
{
	if (direction == DMA_FROM_DEVICE)
		l4_cache_inv_data((unsigned long)start,
		                  (unsigned long)start + sz);
	else
		l4_cache_dma_coherent((unsigned long)start,
		                      (unsigned long)start + sz);
}
Ejemplo n.º 2
0
void dma_cache_maint(const void *start, size_t size, int direction)
{
	l4_cache_dma_coherent((unsigned long)start, (unsigned long)start + size);
}