RE: Understanding the mapping of physical memory to kernel address space