diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-12-18 15:32:27 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-12-18 15:32:27 (GMT) |
commit | b0bcf250999b2242019f137e38f52390a86e71cd (patch) | |
tree | f3436a3ddbbd4773005ecb891630a815ed001341 /src/arch/dalvik/core.h | |
parent | 6bde4016160057a22234d4ed698903dca52ce162 (diff) |
Shared all Dalvik operands between all their users.
Diffstat (limited to 'src/arch/dalvik/core.h')
-rw-r--r-- | src/arch/dalvik/core.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/arch/dalvik/core.h b/src/arch/dalvik/core.h index e7a5e1e..4d7577a 100644 --- a/src/arch/dalvik/core.h +++ b/src/arch/dalvik/core.h @@ -32,6 +32,11 @@ /* Met en place les mécanismes internes de l'architecture. */ bool init_dalvik_core(void); +/* Imprime des statistiques quant aux partages dans l'archi. */ +#ifdef DEBUG_DUMP_STATS +void dump_dalvik_share_stats(void); +#endif + /* Supprime les mécanismes internes de l'architecture Dalvik. */ void exit_dalvik_core(void); |