Re: How to change page permission from inside the kernel?