On 8/19/23 02:47, Karim Taha wrote:
+static inline abi_long do_bsd_mlock(abi_long arg1, abi_long arg2) +{ + return get_errno(mlock(g2h_untagged(arg1), arg2)); +} + +/* munlock(2) */ +static inline abi_long do_bsd_munlock(abi_long arg1, abi_long arg2) +{ + return get_errno(munlock(g2h_untagged(arg1), arg2)); +}
I think these two need guest_range_valid_untagged. Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~