Перечитал мануал, но так и не нашёл, как это сделать
dma_set_mask(dev, DMA_BIT_MASK(24)) задаёт только нижние 24 бита для адресации. А если я хочу, допустим, с адреса 0xcC00000 до адреса 0xC80000? Задав маску 0xC8FFFF, я рискую получить что-нибудь ниже 0xC00000, что мне не нужно.
