I see many calls to alloc_pages() in the kernel, but once it returns address from HIGH_MEMORY succesfuly, I do not see kernel temparory/permenant mapping done with the call of kmap(), how the mapping is done once alloc_pages() returns the page descriptor ?