diff options
Diffstat (limited to 'src/arch/arm/v7/core.h')
-rw-r--r-- | src/arch/arm/v7/core.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/arch/arm/v7/core.h b/src/arch/arm/v7/core.h index e33ae03..b4c254f 100644 --- a/src/arch/arm/v7/core.h +++ b/src/arch/arm/v7/core.h @@ -32,11 +32,6 @@ /* 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); |