66 static inline unsigned int get_next_pkmap_nr(unsigned int color)  in get_next_pkmap_nr()  argument
79 static inline int no_more_pkmaps(unsigned int pkmap_nr, unsigned int color)  in no_more_pkmaps()  argument
89 static inline int get_pkmap_entries_count(unsigned int color)  in get_pkmap_entries_count()  argument
99 static inline wait_queue_head_t *get_pkmap_wait_queue_head(unsigned int color)  in get_pkmap_wait_queue_head()  argument
222 	unsigned int color = get_pkmap_color(page);  in map_new_virtual()  local
225 	count = get_pkmap_entries_count(color);  in map_new_virtual()
228 		last_pkmap_nr = get_next_pkmap_nr(color);  in map_new_virtual()
229 		if (no_more_pkmaps(last_pkmap_nr, color)) {  in map_new_virtual()
231 			count = get_pkmap_entries_count(color);  in map_new_virtual()
244 				get_pkmap_wait_queue_head(color);  in map_new_virtual()
338 	unsigned int color = get_pkmap_color(page);  in kunmap_high()  local
365 		pkmap_map_wait = get_pkmap_wait_queue_head(color);  in kunmap_high()