PROVIDE ( ets_memcpy = 0x400018b4 );
PROVIDE ( ets_printf = 0x400024cc );

PROVIDE ( SPIRead = 0x40004b1c );

PROVIDE ( xthal_get_ccount = 0x4000dd38 );