On Thu, 14 Nov 2002, Pedro Nunes da Costa wrote: > Well, the address that was in fact 0xc005000. I've made a mistake. > > It seems strange that the correspondent pte_t is NOT_PRESENT, since that > address belongs to the kernel code. The kernel uses 4 MB pages to map its memory, which on x86 means that the page directory entries map the page directly, without the need for a page table. Rik -- Bravely reimplemented by the knights who say "NIH". http://www.surriel.com/ http://guru.conectiva.com/ Current spamtrap: <a href=mailto:"october@surriel.com">october@surriel.com</a> -- Kernelnewbies: Help each other learn about the Linux kernel. Archive: http://mail.nl.linux.org/kernelnewbies/ FAQ: http://kernelnewbies.org/faq/