What does the Linux kernel(I'm testing using 2.0.33) do to map the kernel the same for each kernel PDE? When switching CR3 to a different task, the kernel PDEs get reloaded from memory as well. How does it make sure that the kernel memory map(Paging) stays the same? Does it just copy the PDE entries from C0000000+ logical memory(last 256 PDE entries) over to the new task before reloading CR3 for the new task(e.g. using MOVSD)?