Piotr Esden-Tempski 8da7fbd71e Changed to use accessors instead of casting to volatile pointers.
In places where we were defining memory mapped peripheral buffers we
were using directly a cast to "volatile int_type *". For consistency we
should use dereferenced accessor like: &MMIO32(address)
2013-06-12 21:37:55 -07:00
..
2013-06-12 19:11:22 -07:00
2013-06-12 19:11:22 -07:00
2013-06-12 19:11:22 -07:00
2013-06-12 19:11:22 -07:00
2013-06-12 19:11:22 -07:00
2013-06-12 19:11:22 -07:00