Why does the kernel have a separate virtual address for a user page?

memory-management,operating-system,kernel,virtual-memory,pintos

To access a page, it needs to be mapped in your current virtual address space. So if the kernel wants to access a user page there are 2 solutions : Map the page in our current address space, the kernel's address space, and make sure the two pages table entries...