__BITMAP_SET
__BITMAP_SET(n, &bm);
__BITMAP_SET(l, o);
__BITMAP_SET((idx) * 3, (bitmap)); \
__BITMAP_SET((idx) * 3 + 1, (bitmap)); \
__BITMAP_SET((idx) * 3 + 2, (bitmap)); \
__BITMAP_SET(currfd, seen);
__BITMAP_SET((asid), &(ti)->ti_asid_bitmap)
__BITMAP_SET(i, &bm);