On 12/2/25 19:21, Richard Henderson wrote:
On 2/11/25 23:22, Philippe Mathieu-Daudé wrote:On 5/2/25 05:03, Richard Henderson wrote:The declarations use vaddr for size.Which seems dubious, since TARGET_PAGE_SIZE is int IIUC.This parameter must handle guest huge pages. Most often this is 2MiB or 1GiB, which do fit in "int", but logically could be any size at all. So vaddr seems the correct type.
OK, got it.
