1PROVIDE ( ets_update_cpu_frequency = 0x40008550 ); /* Updates g_ticks_per_us on the current CPU only; not on the other core */
2PROVIDE ( MD5Final = 0x4005db1c );
3PROVIDE ( MD5Init = 0x4005da7c );
4PROVIDE ( MD5Update = 0x4005da9c );
5
6/* bootloader will use following functions from xtensa hal library */
7xthal_get_ccount = 0x4000c050;
8xthal_get_ccompare = 0x4000c078;
9xthal_set_ccompare = 0x4000c058;
10