Avoided a crash by creating an empty function to dump ARMv7 stats.

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      : -                                                            *