diff options
Diffstat (limited to 'src/arch/vmpa.h')
| -rw-r--r-- | src/arch/vmpa.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/arch/vmpa.h b/src/arch/vmpa.h index 8881ac1..50a02a2 100644 --- a/src/arch/vmpa.h +++ b/src/arch/vmpa.h @@ -174,6 +174,8 @@ typedef struct _mrange_t #define get_mrange_addr(r) &(r)->addr #define get_mrange_length(r) (r)->length +#define set_mrange_length(r, l) (r)->length = l + /* Initialise une plage dans l'espace mémoire/physique. */ void init_mrange(mrange_t *, const vmpa2t *, phys_t); @@ -184,6 +186,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 *); +/* Compare une couverture mémoire avec une localisation simple. */ +int cmp_mrange_with_vmpa(const mrange_t *, const vmpa2t *); + /* Indique si une zone en contient une autre ou non. */ bool mrange_contains_mrange(const mrange_t *, const mrange_t *); |