diff options
Diffstat (limited to 'src/arch/arm/v7/core.h')
-rw-r--r-- | src/arch/arm/v7/core.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/arch/arm/v7/core.h b/src/arch/arm/v7/core.h index ff0bcf7..fb31c3a 100644 --- a/src/arch/arm/v7/core.h +++ b/src/arch/arm/v7/core.h @@ -32,6 +32,11 @@ /* Met en place les mécanismes internes de l'architecture ARMv7. */ bool init_armv7_core(void); +/* Imprime des statistiques quant aux partages dans l'archi. */ +#ifdef DEBUG_DUMP_STATS +void dump_armv7_share_stats(void); +#endif + /* Supprime les mécanismes internes de l'architecture ARMv7. */ void exit_armv7_core(void); |