asid2idx
if (!__test_and_set_bit(asid2idx(info, asid), info->map))
__set_bit(asid2idx(info, asid), info->map);