Re: check if a kernel page is read-only