__crc___sync_icache_dcache = 0x65e01af9;
__crc_flush_dcache_page = 0xf19fce59;
__crc_caches_clean_inval_pou = 0xc2e168ab;