diff options
Diffstat (limited to 'src/arch/vmpa.h')
-rw-r--r-- | src/arch/vmpa.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/arch/vmpa.h b/src/arch/vmpa.h index f0a8faf..96e8a56 100644 --- a/src/arch/vmpa.h +++ b/src/arch/vmpa.h @@ -153,6 +153,9 @@ void copy_mrange(mrange_t *, const mrange_t *); /* Compare deux couvertures mémoire selon leurs propriétés. */ int cmp_mrange(const mrange_t *, const mrange_t *); +/* Indique si une zone en contient une autre ou non. */ +bool mrange_contains_mrange(const mrange_t *, const mrange_t *); + /* Indique si une localisation est incluse dans une zone ou non. */ bool mrange_contains_addr(const mrange_t *, const vmpa2t *); |