Lines Matching defs:pinned_asid_map
32 static unsigned long *pinned_asid_map;
93 if (pinned_asid_map)
94 bitmap_copy(asid_map, pinned_asid_map, NUM_USER_ASIDS);
278 if (!pinned_asid_map)
303 __set_bit(asid2idx(asid), pinned_asid_map);
324 if (!pinned_asid_map)
330 __clear_bit(asid2idx(asid), pinned_asid_map);
380 if (pinned_asid_map)
381 set_kpti_asid_bits(pinned_asid_map);
411 pinned_asid_map = kcalloc(BITS_TO_LONGS(NUM_USER_ASIDS),
412 sizeof(*pinned_asid_map), GFP_KERNEL);