__BITMAP_CLR
__BITMAP_CLR((idx) * 3, (bitmap)); \
__BITMAP_CLR((idx) * 3 + 1, (bitmap)); \
__BITMAP_CLR((idx) * 3 + 2, (bitmap)); \
__BITMAP_CLR((asid), &(ti)->ti_asid_bitmap)
__BITMAP_CLR(i, &bm);