diff options
author | Emilio G. Cota <cota@braap.org> | 2018-10-21 13:17:32 -0400 |
---|---|---|
committer | Alex Bennée <alex.bennee@linaro.org> | 2019-10-28 15:12:38 +0000 |
commit | 5025bb7fde57de2fa76d3ed4277b8b4aaa1b1a69 (patch) | |
tree | 3bea847c8374ef916874e7a2847a3070efe483e1 /libdecnumber/dpd | |
parent | 235537fa7347a151ebd7a755e81819a52b3b2195 (diff) |
translate-all: notify plugin code of tb_flush
Plugins might allocate per-TB data that then they get passed each
time a TB is executed (via the *userdata pointer).
Notify plugin code every time a code cache flush occurs, so
that plugins can then reclaim the memory of the per-TB data.
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Emilio G. Cota <cota@braap.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Diffstat (limited to 'libdecnumber/dpd')
0 files changed, 0 insertions, 0 deletions