I'm trying to use the memory_region_ops_read/write tracepoints. They 
produce output like this:

    memory_region_ops_write 0.000 pid=8861 mr=0x185b1e8 addr=0x0
    value=0x3 size=0x4
    memory_region_ops_write 165.000 pid=8861 mr=0x185b1e8 addr=0x80
    value=0xffffffff size=0x4
    memory_region_ops_write 155.000 pid=8861 mr=0x1914240 addr=0x0
    value=0x3 size=0x4
    memory_region_ops_write 2.000 pid=8861 mr=0x185b320 addr=0x0
    value=0x3 size=0x4
    memory_region_ops_write 134.000 pid=8861 mr=0x1914240 addr=0x4
    value=0x80 size=0x4

How do I discover which devices are represented by MemoryRegions 
0x185b1e8 and 0x1914240? Or alternatively how do I discover the full 
addresses? Thanks.

-- 
Hollis Blanchard
Mentor Graphics Emulation Division