diff options
| author | David Hildenbrand <david@redhat.com> | 2021-11-02 17:43:17 +0100 |
|---|---|---|
| committer | Philippe Mathieu-Daudé <f4bug@amsat.org> | 2022-01-18 10:45:35 +0100 |
| commit | 455faf03df1a9beff236e3b194cad93e4b014076 (patch) | |
| tree | 64703f43f17397da7ecf4dba9ca0eed6e3cf0ea9 /include/exec | |
| parent | 5ead62185d23caad41ef2afc80773fb384e40229 (diff) | |
memory: Update description of memory_region_is_mapped()
Let's update the documentation, making it clearer what the semantics
of memory_region_is_mapped() actually are.
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Reviewed-by: Peter Xu <peterx@redhat.com>
Signed-off-by: David Hildenbrand <david@redhat.com>
Message-Id: <20211102164317.45658-4-david@redhat.com>
Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Diffstat (limited to 'include/exec')
| -rw-r--r-- | include/exec/memory.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/exec/memory.h b/include/exec/memory.h index fea1a493b9..63be794a06 100644 --- a/include/exec/memory.h +++ b/include/exec/memory.h @@ -2297,7 +2297,8 @@ bool memory_region_present(MemoryRegion *container, hwaddr addr); /** * memory_region_is_mapped: returns true if #MemoryRegion is mapped - * into any address space. + * into another memory region, which does not necessarily imply that it is + * mapped into an address space. * * @mr: a #MemoryRegion which should be checked if it's mapped */ |