summaryrefslogtreecommitdiff
path: root/src/arch/arm/v7/register.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/arm/v7/register.h')
-rw-r--r--src/arch/arm/v7/register.h20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/arch/arm/v7/register.h b/src/arch/arm/v7/register.h
index de038e2..0408859 100644
--- a/src/arch/arm/v7/register.h
+++ b/src/arch/arm/v7/register.h
@@ -26,10 +26,14 @@
#include <glib-object.h>
+#include <stdbool.h>
#include <stdint.h>
+/* ------------------------- ENCADREMENT DE REGISTRES BRUTS ------------------------- */
+
+
#define G_TYPE_ARMV7_REGISTER g_armv7_register_get_type()
#define G_ARMV7_REGISTER(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), g_armv7_register_get_type(), GArmV7Register))
#define G_IS_ARMV7_REGISTER(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), g_armv7_register_get_type()))
@@ -53,4 +57,20 @@ GArmV7Register *g_armv7_register_new(uint8_t);
+/* -------------------------- PARTAGES DE CONTENUS UNIQUES -------------------------- */
+
+
+/* Met en place les m├ęcanismes de partage des registres ARMv7. */
+bool init_armv7_register_sharing(void);
+
+/* Imprime des statistiques quant aux partages dans l'archi. */
+#ifdef DEBUG_DUMP_STATS
+void dump_armv7_register_share_stats(void);
+#endif
+
+/* Supprime les m├ęcanismes de partage des registres ARMv7. */
+void exit_armv7_register_sharing(void);
+
+
+
#endif /* _ARCH_ARM_V7_REGISTER_H */