diff options
Diffstat (limited to 'src/arch/arm/v7/core.c')
| -rw-r--r-- | src/arch/arm/v7/core.c | 19 |
1 files changed, 19 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 : - * |