On Sun, Nov 23, 2025 at 12:27:08PM +0800, Chao Li wrote:
> 1. "This loop stores into os_page_ptrs[]” is understandable, but
> feels a bit incomplete to me as non-English-speaking. I understand
> your intention is to make “stores” and “touches” to share
> “addresses”. But this is not a strong opinion comment, if Michael
> considers okay, I will be fine as well.
I have actually used something slightly different at the end, and
appl-ed the result.
--
Michael