Lines Matching refs:tl_assert
168 tl_assert(a < (1U << ADDR_LSB_BITS)); in uword_msb()
182 tl_assert(a < (1U << ADDR_LSB_BITS)); in uword_lsb()
234 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_mask()
243 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_set()
257 tl_assert(size > 0); in bm0_set_range()
258 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_set_range()
259 tl_assert(address_msb(make_address(0, a + size - 1)) == 0); in bm0_set_range()
260 tl_assert(uword_msb(a) == uword_msb(a + size - 1)); in bm0_set_range()
270 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_clear()
284 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_clear_range()
285 tl_assert(size == 0 || address_msb(make_address(0, a + size - 1)) == 0); in bm0_clear_range()
286 tl_assert(size == 0 || uword_msb(a) == uword_msb(a + size - 1)); in bm0_clear_range()
304 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_is_set()
318 tl_assert(size > 0); in bm0_is_any_set()
319 tl_assert(address_msb(make_address(0, a)) == 0); in bm0_is_any_set()
320 tl_assert(address_msb(make_address(0, a + size - 1)) == 0); in bm0_is_any_set()
321 tl_assert(uword_msb(a) == uword_msb(a + size - 1)); in bm0_is_any_set()
358 tl_assert(2 <= n && n <= 8); in bm_cache_rotate()
384 tl_assert(bm); in bm_cache_lookup()
385 tl_assert(bm2); in bm_cache_lookup()
463 tl_assert(bm); in bm_update_cache()
508 tl_assert(bm); in bm2_lookup()
533 tl_assert(bm); in bm2_lookup_exclusive()
549 tl_assert(bm2); in bm2_clear()
568 tl_assert(bm); in bm2_insert()
606 tl_assert(bm); in bm2_lookup_or_insert()
650 tl_assert(bm); in bm2_remove()
666 tl_assert(bm); in bm_access_aligned_load()
682 tl_assert(bm); in bm_access_aligned_store()
698 tl_assert(bm); in bm_aligned_load_has_conflict_with()
715 tl_assert(bm); in bm_aligned_store_has_conflict_with()