diff options
Diffstat (limited to 'src/arch/vmpa.h')
| -rw-r--r-- | src/arch/vmpa.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/arch/vmpa.h b/src/arch/vmpa.h index 996a7fb..6305f79 100644 --- a/src/arch/vmpa.h +++ b/src/arch/vmpa.h @@ -203,6 +203,12 @@ static inline int cmp_mrange_with_vmpa_swapped(const vmpa2t *k, const mrange_t * return cmp_mrange_with_vmpa(r, k); } +/* Compare une couverture mémoire avec une localisation simple. */ +int cmp_mrange_with_vmpa_inclusive(const mrange_t *, const vmpa2t *); + +/* Indique si une zone en contient une autre ou non. */ +int mrange_includes_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 *); |