On 2/3/23 22:18, Richard Henderson wrote:
The fix for this was merged today: 4731f89b3b cpu: free cpu->tb_jmp_cache with RCUI'd forgotten about this, since the pull request was pending for some time, while we waited for CI minutes to refresh.r~
Ah that's great, thanks for taking a look! -- Anton Johansson, rev.ng Labs Srl.