summaryrefslogtreecommitdiff
path: root/src/arch
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch')
-rw-r--r--src/arch/arm/v7/core.c19
-rw-r--r--src/arch/arm/v7/core.h5
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);