Hello,
On Tue, Jun 23, 2015 at 08:29:37AM +0000, Duss Pirmin wrote:
/* I/O mux registers */ IOMUXC_BASE = 0x7e200000, IOMUXC_SIZE = 0x00610000,
reading your MMIO-range definitions I was reminded of a section in the BCM2835 manual:
Physical addresses range from 0x20000000 to 0x20FFFFFF for peripherals. The bus addresses for peripherals are set up to map onto the peripheral bus address range starting at 0x7E000000. Thus a peripheral advertised here at bus address 0x7Ennnnnn is available at physical address 0x20nnnnnn.
Maybe you have to transpose the MMIO range first?
Regards