SW_BIT_CACHE_FLUSH_DONE
pt_set_sw_bit_release(pts, SW_BIT_CACHE_FLUSH_DONE);
SW_BIT_CACHE_FLUSH_DONE))