tree 52a675321c1cc40e197a7a48703708471c474d15
parent fc76324fa27fa4cab2cf115460d3a1d8e7e201ee
author Zong Li <zong.li@sifive.com> 1577934759 +0800
committer Palmer Dabbelt <palmerdabbelt@google.com> 1579804806 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQJHBAABCgAxFiEEKzw3R0RoQ7JKlDp6LhMZ81+7GIkFAl4p6I8THHBhbG1lckBk
 YWJiZWx0LmNvbQAKCRAuExnzX7sYiWWzD/9nnKEAVdhlswbRyNaiXXfY1FvpTyop
 lL+uP6GX3uOjEumwecm+48nmnN3fep4b4T7b4Bz9me6Y/47/tR+NXL/PiR9XduiK
 kC2Vr1rKOmY0cCeNFxrH1AW6JqZtH4A8jTI0/cclJi5GFGW09ja/Vzwdi+kDbI/w
 KVgDTuvVNgVH7xSvfmm2y/Y17La73cG+W3t0Dk4SW7XHV83vPEzSzy4QndhxpRS5
 SveRl3eR4mgV7i46f1T0yu3az0KDV6hJ20nNGc5QCHtyezfht1+ABX2xM25kk775
 WKN39dAxWzY6iLD/87Zs2UkwC5P/KVrhOG9aVTzyK1cAuF2K5uHGqNDQ7ZTKafvU
 QxNvMXe+1FijLovYLUlWKV9REzcp4PtDxHJ+AedsL5J5URrzyGeSBrF9YOnlVpn+
 z+1FvMU9jwSJiq88LQxNHsAf+s+8bWj0D5BTC9byb+gNNhCJWJGcR2dGR/y495pf
 scK0UbcfYZ4eW0GXOOaz/UjW2JJDH+yn93qYNdgZk+4wga/eIu5/bGAtcj6/nqdD
 r5KKfIrZiilsfg+fbkdFEewyx1EvbxVvgnPgU5S4GjwllKyV/Ecnj2XD32FsqxeS
 kI7CiWWUIKWVf/UBjicYGQ1hno5mX6s9LvzW5N6CAeuHEGsdd6/UoBAbLxfZujhc
 UIEhOlAIi8a+hw==
 =q+wO
 -----END PGP SIGNATURE-----

riscv: mm: add support for CONFIG_DEBUG_VIRTUAL

This patch implements CONFIG_DEBUG_VIRTUAL to do additional checks on
virt_to_phys and __pa_symbol calls. virt_to_phys used for linear mapping
check, and __pa_symbol used for kernel symbol check. In current RISC-V,
kernel image maps to linear mapping area. If CONFIG_DEBUG_VIRTUAL is
disable, these two functions calculate the offset on the address feded
directly without any checks.

The result of test_debug_virtual as follows:

[    0.358456] ------------[ cut here ]------------
[    0.358738] virt_to_phys used for non-linear address: (____ptrval____) (0xffffffd000000000)
[    0.359174] WARNING: CPU: 0 PID: 1 at arch/riscv/mm/physaddr.c:16 __virt_to_phys+0x3c/0x50
[    0.359409] Modules linked in:
[    0.359630] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 5.5.0-rc3-00002-g5133c5c0ca13 #57
[    0.359861] epc: ffffffe000253d1a ra : ffffffe000253d1a sp : ffffffe03aa87da0
[    0.360019]  gp : ffffffe000ae03b0 tp : ffffffe03aa88000 t0 : ffffffe000af2660
[    0.360175]  t1 : 0000000000000064 t2 : 00000000000000b7 s0 : ffffffe03aa87dc0
[    0.360330]  s1 : ffffffd000000000 a0 : 000000000000004f a1 : 0000000000000000
[    0.360492]  a2 : 0000000000000000 a3 : 0000000000000000 a4 : ffffffe000a84358
[    0.360672]  a5 : 0000000000000000 a6 : 0000000000000000 a7 : 0000000000000000
[    0.360876]  s2 : ffffffe000ae0600 s3 : ffffffe00000fc7c s4 : ffffffe0000224b0
[    0.361067]  s5 : ffffffe000030890 s6 : ffffffe000022470 s7 : 0000000000000008
[    0.361267]  s8 : ffffffe0000002c4 s9 : ffffffe000ae0640 s10: ffffffe000ae0630
[    0.361453]  s11: 0000000000000000 t3 : 0000000000000000 t4 : 000000000001e6d0
[    0.361636]  t5 : ffffffe000ae0a18 t6 : ffffffe000aee54e
[    0.361806] status: 0000000000000120 badaddr: 0000000000000000 cause: 0000000000000003
[    0.362056] ---[ end trace aec0bf78d4978122 ]---
[    0.362404] PA: 0xfffffff080200000 for VA: 0xffffffd000000000
[    0.362607] PA: 0x00000000baddd2d0 for VA: 0xffffffe03abdd2d0

Signed-off-by: Zong Li <zong.li@sifive.com>
Reviewed-by: Paul Walmsley <paul.walmsley@sifive.com>
Tested-by: Paul Walmsley <paul.walmsley@sifive.com>
Signed-off-by: Palmer Dabbelt <palmerdabbelt@google.com>