+/* Returns the mapping of user virtual address UADDR in page
+ directory PD into a kernel virtual address.
+ If UADDR is unmapped, behavior varies based on CREATE:
+ if CREATE is true, then a new, zeroed page is created and a
+ pointer into it is returned,
+ otherwise a null pointer is returned. */