armv7_icache_sync_all
armv7_icache_sync_all, /* icache_sync_all */
void armv7_icache_sync_all (void);