Re: memory.c - bad pmd - x86_64