On 2018-10-06 2:22 PM, Helge Deller wrote:
0000000040209038: 215560It 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 didcheck 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. Dave -- John David Anglin dave.anglin@xxxxxxxx
