summaryrefslogtreecommitdiff
path: root/src/arch/vmpa.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/vmpa.c')
-rw-r--r--src/arch/vmpa.c38
1 files changed, 37 insertions, 1 deletions
diff --git a/src/arch/vmpa.c b/src/arch/vmpa.c
index 5030562..4c2b4cf 100644
--- a/src/arch/vmpa.c
+++ b/src/arch/vmpa.c
@@ -790,6 +790,42 @@ int cmp_mrange(const mrange_t *a, const mrange_t *b)
/******************************************************************************
* *
+* Paramètres : a = première définition à analyser. *
+* b = seconde définition à analyser. *
+* *
+* Description : Compare une couverture mémoire avec une localisation simple. *
+* *
+* Retour : Bilan de la comparaison : -1, 0 ou 1 (-1 par défaut). *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+int cmp_mrange_with_vmpa(const mrange_t *a, const vmpa2t *b)
+{
+ int result; /* Bilan à retourner */
+ phys_t diff; /* Espace entre deux adresses */
+
+ result = cmp_vmpa(b, &a->addr);
+
+ if (result >= 0)
+ {
+ diff = compute_vmpa_diff(&a->addr, b);
+
+ if (diff < a->length)
+ result = 0;
+ else
+ result = 1;
+
+ }
+
+ return result;
+
+}
+
+
+/******************************************************************************
+* *
* Paramètres : range = zone mémoire à consulter. *
* sub = éventuelle sous-région à valider. *
* *
@@ -840,7 +876,7 @@ bool mrange_contains_addr(const mrange_t *range, const vmpa2t *addr)
ret = cmp_vmpa(&range->addr, addr);
- if (ret <= -1)
+ if (ret < 0)
{
diff = compute_vmpa_diff(&range->addr, addr);