diff options
Diffstat (limited to 'src/arch/arm')
| -rw-r--r-- | src/arch/arm/v7/core.c | 19 | ||||
| -rw-r--r-- | src/arch/arm/v7/core.h | 5 |
2 files changed, 24 insertions, 0 deletions
diff --git a/src/arch/arm/v7/core.c b/src/arch/arm/v7/core.c index 97fdb3d..0d1bf1c 100644 --- a/src/arch/arm/v7/core.c +++ b/src/arch/arm/v7/core.c @@ -52,6 +52,25 @@ bool init_armv7_core(void) * * * Paramètres : - * * * +* Description : Imprime des statistiques quant aux partages dans l'archi. * +* * +* Retour : - * +* * +* Remarques : - * +* * +******************************************************************************/ +#ifdef DEBUG_DUMP_STATS +void dump_armv7_share_stats(void) +{ + +} +#endif + + +/****************************************************************************** +* * +* Paramètres : - * +* * * Description : Supprime les mécanismes internes de l'architecture ARMv7. * * * * Retour : - * 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); |