tx3900_icache_sync_all_16
void tx3900_icache_sync_all_16(void);
tx3900_icache_sync_all_16;
tx3900_icache_sync_all_16 :