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 675d5cb..3e0d35c 100644 --- a/src/arch/vmpa.h +++ b/src/arch/vmpa.h @@ -187,6 +187,9 @@ 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 *); +/* Indique si une localisation est incluse dans une zone ou non. */ +bool mrange_contains_addr_inclusive(const mrange_t *, const vmpa2t *); + /* Calcule la position extérieure final d'une couverture. */ void compute_mrange_end_addr(const mrange_t *, vmpa2t *); |