diff options
Diffstat (limited to 'src/arch/vmpa.h')
| -rw-r--r-- | src/arch/vmpa.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/arch/vmpa.h b/src/arch/vmpa.h index 6f8e809..97b2610 100644 --- a/src/arch/vmpa.h +++ b/src/arch/vmpa.h @@ -148,7 +148,7 @@ typedef struct _mrange_t /* Initialise une plage dans l'espace mémoire/physique. */ -void init_mrange(mrange_t *, const vmpa2t *, phys_t ); +void init_mrange(mrange_t *, const vmpa2t *, phys_t); /* Copie la définition d'une plage mémoire dans une autre. */ void copy_mrange(mrange_t *, const mrange_t *); @@ -162,6 +162,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 *); +/* Calcule la position extérieure final d'une couverture. */ +void compute_mrange_end_addr(const mrange_t *, vmpa2t *); + /* Transforme un emplacement physique en chaîne de caractères. */ char *mrange_phys_to_string(const mrange_t *, MemoryDataSize, bool, char [VMPA_MAX_LEN], size_t *); |