when i looked at the locations to which the system was performing mmio through read*/write* i found that all of them were 64 bit addresses( i am using a 64 bit dual core opteron) but when i go and check /proc/iomem i see that all of them are mapped to 32 bit addresses. I did not understand the reason for this. Is there a better way to get the name of the device from the location to which read*/write* is peformed directly from the kernel.
regards
devvrat
