CACHE_TYPE_VIPT
cachetype = CACHE_TYPE_VIPT;
cinfo[0].icache.cache_type == CACHE_TYPE_VIPT) &&
case CACHE_TYPE_VIPT:
arm_pcache.icache_type = CACHE_TYPE_VIPT;
arm_pcache.dcache_type = CACHE_TYPE_VIPT;
arm_pcache.icache_type = CACHE_TYPE_VIPT;
arm_pcache.dcache_type = CACHE_TYPE_VIPT;