49     ASSERT(LIBERO_SETTING_WAY_ENABLE < 16U);  in config_l2_cache()
66     ASSERT(LIBERO_SETTING_WAY_ENABLE >= LIBERO_SETTING_NUM_SCRATCH_PAD_WAYS);  in config_l2_cache()
90     ASSERT((LIBERO_SETTING_WAY_MASK_DMA & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
91     ASSERT((LIBERO_SETTING_WAY_MASK_AXI4_PORT_0 & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
92     ASSERT((LIBERO_SETTING_WAY_MASK_AXI4_PORT_1 & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
93     ASSERT((LIBERO_SETTING_WAY_MASK_AXI4_PORT_2 & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
94     ASSERT((LIBERO_SETTING_WAY_MASK_AXI4_PORT_3 & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
95     ASSERT((LIBERO_SETTING_WAY_MASK_E51_DCACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
96     ASSERT((LIBERO_SETTING_WAY_MASK_E51_ICACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
97     ASSERT((LIBERO_SETTING_WAY_MASK_U54_1_DCACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
98     ASSERT((LIBERO_SETTING_WAY_MASK_U54_2_DCACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
99     ASSERT((LIBERO_SETTING_WAY_MASK_U54_3_DCACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
100     ASSERT((LIBERO_SETTING_WAY_MASK_U54_4_DCACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
101     ASSERT((LIBERO_SETTING_WAY_MASK_U54_1_ICACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
102     ASSERT((LIBERO_SETTING_WAY_MASK_U54_2_ICACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
103     ASSERT((LIBERO_SETTING_WAY_MASK_U54_3_ICACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
104     ASSERT((LIBERO_SETTING_WAY_MASK_U54_4_ICACHE & scratchpad_ways_mask) == 0UL);  in config_l2_cache()
177     ASSERT(start >= (uint64_t)ZERO_DEVICE_BOTTOM);  in check_config_l2_scratchpad()
178     ASSERT(end < (uint64_t)ZERO_DEVICE_TOP);  in check_config_l2_scratchpad()
179     ASSERT(end >= start);  in check_config_l2_scratchpad()
192     ASSERT(LIBERO_SETTING_NUM_SCRATCH_PAD_WAYS >= n_scratchpad_ways);  in check_config_l2_scratchpad()
216     ASSERT(scratchpad_start >= (uint64_t *)ZERO_DEVICE_BOTTOM);
217     ASSERT(scratchpad_start < (uint64_t *)ZERO_DEVICE_TOP);
223     ASSERT(nways <= way_enable);