|
From: | Richard Henderson |
Subject: | Re: [PATCH v1 2/2] memory: Update description of memory_region_is_mapped() |
Date: | Mon, 11 Oct 2021 14:21:23 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
On 10/11/21 10:45 AM, David Hildenbrand wrote:
/** * memory_region_is_mapped: returns true if #MemoryRegion is mapped - * into any address space. + * into another #MemoryRegion directly. Will return false if the + * #MemoryRegion is mapped indirectly via an alias.
Hmm. I guess. It kinda sorta sounds like a bug, but I don't know the interface well enough to tell.
r~
[Prev in Thread] | Current Thread | [Next in Thread] |