DCACHE_N_COLORS
(KM_MAX_IDX * NR_CPUS * DCACHE_N_COLORS) - 1,
#define LAST_PKMAP (PTRS_PER_PTE * DCACHE_N_COLORS)
(last_pkmap_nr_arr[color] + DCACHE_N_COLORS) & LAST_PKMAP_MASK;
return pkmap_nr < DCACHE_N_COLORS;
return LAST_PKMAP / DCACHE_N_COLORS;
unsigned int last_pkmap_nr_arr[DCACHE_N_COLORS];
wait_queue_head_t pkmap_map_wait_arr[DCACHE_N_COLORS];
int idx = (type + KM_MAX_IDX * smp_processor_id()) * DCACHE_N_COLORS;
return idx + DCACHE_N_COLORS - 1 - color;