In the highmem.c file, the function kmap_high() does the following :