Re: Patch to memory/virtual.c