diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-12-29 10:36:32 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-12-29 10:36:32 (GMT) |
commit | 2a6e943002b4e3f1e147847c554e1b1a5d173b0f (patch) | |
tree | d43ae61793f91296aaa1ba854f788a817e81ced2 /src/arch/arm/v7/core.h | |
parent | 9f9041e11efa71cb043425cd5e89daea0247e76c (diff) |
Avoided a crash by creating an empty function to dump ARMv7 stats.
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); |