15 return ((
addr >= CONFIG_DCACHE_RAM_BASE) &&
16 (
addr < (CONFIG_DCACHE_RAM_BASE + CONFIG_DCACHE_RAM_SIZE)));
29 if (!start_car_check && !end_car_check)
33 assert(start_car_check && end_car_check);
#define assert(statement)
static int is_car_addr(uintptr_t addr)
void platform_segment_loaded(uintptr_t start, size_t size, int flags)
static void flush_l1d_to_l2(void)