On 8/12/22 08:02, Ilya Leoshkevich wrote:
tb_lookup() skips get_page_addr_code() if tb is found in tb_jmp_cache. I assume it's a bug?
Yes, I think so. I've rearranged that for other reasons, and so may have inadvertently fix this. I'll post the in-progress work in a moment.
r~