sa1_cache_purgeID_rng
.cf_idcache_wbinv_range = sa1_cache_purgeID_rng,
.cf_idcache_wbinv_range = sa1_cache_purgeID_rng,
.cf_idcache_wbinv_range = sa1_cache_purgeID_rng,
void sa1_cache_purgeID_rng (vaddr_t, vsize_t);