2 files changed, 46 insertions, 0 deletions
diff --git a/src/arch/vmpa.c b/src/arch/vmpa.c
index 67be9a9..ad4c078 100644
--- a/src/arch/vmpa.c
+++ b/src/arch/vmpa.c
@@ -842,6 +842,49 @@ bool mrange_contains_addr(const mrange_t *range, const vmpa2t *addr)
 /******************************************************************************
 *                                                                             *
 *  Paramètres  : range = zone mémoire à consulter.                            *
+*                addr  = localisation mémoire à analyser.                     *
+*                                                                             *
+*  Description : Indique si une localisation est incluse dans une zone ou non.*
+*                                                                             *
+*  Retour      : Bilan de la consultation.                                    *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool mrange_contains_addr_inclusive(const mrange_t *range, const vmpa2t *addr)
+{
+    bool result;                            /* Bilan à retourner           */
+    int ret;                                /* Bilan d'une comparaison     */
+    phys_t diff;                            /* Espace entre deux adresses  */
+
+    ret = cmp_vmpa(&range->addr, addr);
+
+    if (ret <= -1)
+    {
+        diff = compute_vmpa_diff(&range->addr, addr);
+
+        if (diff != VMPA_NO_PHYSICAL)
+            result = (diff <= range->length);
+        else
+            result = false;
+
+    }
+
+    else if (ret == 0)
+        result = true;
+
+    else
+        result = false;
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : range = zone mémoire à consulter.                            *
 *                addr  = localisation mémoire à déterminer.                   *
 *                                                                             *
 *  Description : Calcule la position extérieure final d'une couverture.       *
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 *);