arm7tdmi_cache_flushID
.cf_dcache_wbinv_all = arm7tdmi_cache_flushID,
.cf_dcache_wbinv_range = (void *)arm7tdmi_cache_flushID,
.cf_dcache_inv_range = (void *)arm7tdmi_cache_flushID,
.cf_idcache_wbinv_all = arm7tdmi_cache_flushID,
.cf_idcache_wbinv_range = (void *)arm7tdmi_cache_flushID,
void arm7tdmi_cache_flushID (void);