Re: [PATCH v3 29/33] linux-user: Allow TARGET_PAGE_BITS_VARY

2024-02-13 Thread Richard Henderson
On 1/30/24 03:47, Ilya Leoshkevich wrote: I wonder if it would make sense to add something like the following to this patch? --- a/page-vary-target.c +++ b/page-vary-target.c @@ -26,8 +26,7 @@ bool set_preferred_target_page_bits(int bits) { #ifdef TARGET_PAGE_BITS_VARY -assert(bits >=

Re: [PATCH v3 29/33] linux-user: Allow TARGET_PAGE_BITS_VARY

2024-01-30 Thread Ilya Leoshkevich
On Tue, Jan 02, 2024 at 12:58:04PM +1100, Richard Henderson wrote: > If set, match the host and guest page sizes. > > Reviewed-by: Philippe Mathieu-Daudé > Signed-off-by: Richard Henderson > --- > linux-user/main.c | 16 +--- > 1 file changed, 13 insertions(+), 3 deletions(-) [...]

[PATCH v3 29/33] linux-user: Allow TARGET_PAGE_BITS_VARY

2024-01-01 Thread Richard Henderson
If set, match the host and guest page sizes. Reviewed-by: Philippe Mathieu-Daudé Signed-off-by: Richard Henderson --- linux-user/main.c | 16 +--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/linux-user/main.c b/linux-user/main.c index 9ba4dc5872..d00a0d7d1f 100644