This article https://lwn.net/Articles/75174/
says that if the kernel wants to access a physical page, it needs to map it to a linear address in the kernel space (to high memory region).
Suppose the page is already mapped by an user process, can the kernel just use the user-process page table to access that page directly (since they share the same page table)? Why does the kernel have to map it again?