CACHE_TYPE_PIPT
cachetype = CACHE_TYPE_PIPT;
extract_cacheunit(level, false, CACHE_TYPE_PIPT, cinfo);
extract_cacheunit(level, false, CACHE_TYPE_PIPT, cinfo);
extract_cacheunit(level, false, CACHE_TYPE_PIPT, cinfo);
cachetype = CACHE_TYPE_PIPT;
case CACHE_TYPE_PIPT:
info->dcache_type = CACHE_TYPE_PIPT;
info->icache_type = CACHE_TYPE_PIPT;
arm_pcache.icache_type = CACHE_TYPE_PIPT;
arm_pcache.dcache_type = CACHE_TYPE_PIPT;
if (arm_pcache.dcache_type == CACHE_TYPE_PIPT) {
arm_scache.dcache_type = arm_scache.icache_type = CACHE_TYPE_PIPT;
arm_scache.dcache_type = arm_scache.icache_type = CACHE_TYPE_PIPT;
const size_t way_size = arm_pcache.icache_type == CACHE_TYPE_PIPT
bool okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
bool okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
bool src_okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
bool dst_okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
if (arm_pcache.cache_type == CACHE_TYPE_PIPT) {
if (arm_pcache.icache_type != CACHE_TYPE_PIPT
info->dcache_type = CACHE_TYPE_PIPT;
info->icache_type = CACHE_TYPE_PIPT;