DMA_BASE          542 drivers/video/fbdev/pxafb.c 	int dma = DMA_MAX + DMA_BASE;
DMA_BASE         1116 drivers/video/fbdev/pxafb.c 	dma = DMA_BASE + (branch ? DMA_MAX : 0);