__BITMAP_ZERO
__BITMAP_ZERO(&bm);
__BITMAP_ZERO(o);
__BITMAP_ZERO(&bit3x64);
__BITMAP_ZERO(&ti->ti_asid_bitmap); \