I have a Ubuntu Linux (4.6 kernel) running on a Zedboard, which is based on an ARM architecture. The architecture comes with a hardware module called Coresight, which enables HW-based program tracing. In my setup, the Coresight component is registered at physical address 0xf889c000. I want to configure the component through the device register etmcr, whose offset is 0x0. I tried to run devmem2 (a program helps manipulate physical memory via mmap) as a root to write some custom value to this register. The mmap threw no error, the write succeeded since the immediate readback value was the expect