diff options
Diffstat (limited to 'src/arch/arm/v7/register.h')
-rw-r--r-- | src/arch/arm/v7/register.h | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/src/arch/arm/v7/register.h b/src/arch/arm/v7/register.h index 0408859..d0a89f2 100644 --- a/src/arch/arm/v7/register.h +++ b/src/arch/arm/v7/register.h @@ -31,9 +31,6 @@ -/* ------------------------- 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())) @@ -57,20 +54,4 @@ 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 */ |