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 /bsd-user | |
| 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 'bsd-user')
0 files changed, 0 insertions, 0 deletions