accel/tcg: Properly implement get_page_addr_code for user-only
commitcdf7130851318004e6512dbfdb73156fe59c7a59
authorRichard Henderson <richard.henderson@linaro.org>
Wed, 10 Aug 2022 20:52:50 +0000 (10 13:52 -0700)
committerRichard Henderson <richard.henderson@linaro.org>
Tue, 6 Sep 2022 07:04:25 +0000 (6 08:04 +0100)
tree99b676707c22d63a79265d96871a706c753b89d6
parentf3b2b81b6fdaacfa8a769ad5834e6f6f129e2119
accel/tcg: Properly implement get_page_addr_code for user-only

The current implementation is a no-op, simply returning addr.
This is incorrect, because we ought to be checking the page
permissions for execution.

Make get_page_addr_code inline for both implementations.

Acked-by: Ilya Leoshkevich <iii@linux.ibm.com>
Tested-by: Ilya Leoshkevich <iii@linux.ibm.com>
Acked-by: Alistair Francis <alistair.francis@wdc.com>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
accel/tcg/cputlb.c
accel/tcg/user-exec.c
include/exec/exec-all.h