ecache_flush_address
if (&ecache_flush_address) {
ecache_flushaddr = ecache_flush_address();
extern uint64_t ecache_flush_address(void);
new_addr = ecache_flush_address();