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(ctxid2asid(asid), pinned_asid_map);
324 if (!pinned_asid_map)
330 __clear_bit(ctxid2asid(asid), pinned_asid_map);
380 if (pinned_asid_map)
381 set_kpti_asid_bits(pinned_asid_map);
410 pinned_asid_map = bitmap_zalloc(NUM_USER_ASIDS, GFP_KERNEL);