addresses supplied with read*/write*

["Devvrat Tripathi" <tripathidevvrat@xxxxxxxxx>]

 When a driver does read*/write*
is the address supplied the the argument from the address range of the
device mentioned in proc/iomem. I  logged calls to the read*/write*
and strangely i find that all thse addresses are 64 bit whereas the
addresses in /proc/iomem are 32 bit.. So in that case what addreses are
these and how do i get the name of the device by looking at these
addresses.

regards

devvrat