On 2018-10-06 4:32 PM, John David Anglin wrote:
On 2018-10-06 2:22 PM, Helge Deller wrote:
0000000040209038: 215560
It still seems to be wrong.
Shouldn't it be: 15d000 (4015d000-40000000) ?
The above address was for a kernel build with a different config. I did
check that os_hpmc was at virtual address 40215560 for that build.
However, I
have lost the uncompressed vmlinux file (still have vmlinuz). I could
recheck
but I think the patch gives the correct address.
I added a print statement to recheck the address computation. It seems
correct:
[ 0.000000] Physical address of os_hpmc is 0x207000
[ 0.000000] Linux version 4.14.74+ (dave@atlas) (gcc version 8.2.0
(GCC)) #2 SMP Sat Oct 6 17:23:02 EDT 2018
0000000040207000 <os_hpmc>:
40207000: 08 1a 02 43 copy r26,r3
40207004: 01 c0 08 a4 mfctl iva,r4
Dave
--
John David Anglin dave.anglin@xxxxxxxx
