HomeSort by: relevance | last modified time | path
    Searched refs:dcache_type (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/arch/arm/arm32/
cpu.c 632 info->dcache_type & CACHE_TYPE_PIxx ? 'P' : 'V',
633 info->dcache_type & CACHE_TYPE_xxPT ? 'P' : 'V');
652 info->dcache_type & CACHE_TYPE_PIxx ? 'P' : 'V',
653 info->dcache_type & CACHE_TYPE_xxPT ? 'P' : 'V');
pmap.c 5513 bool okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
5641 bool okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
5752 bool src_okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
5754 bool dst_okcolor = arm_pcache.dcache_type == CACHE_TYPE_PIPT
  /src/sys/arch/arm/include/
cpu.h 189 uint8_t dcache_type; member in struct:arm_cache_info
  /src/sys/arch/arm/cortex/
pl310.c 275 info->dcache_type = CACHE_TYPE_PIPT;
  /src/sys/arch/arm/arm/
cpufunc.c 1367 info->dcache_type = CACHE_TYPE_PIPT;
1422 arm_pcache.dcache_type = CACHE_TYPE_PIPT;
1426 arm_pcache.dcache_type = CACHE_TYPE_VIPT;
1442 if (arm_pcache.dcache_type == CACHE_TYPE_PIPT) {
1496 arm_pcache.dcache_type = CACHE_TYPE_VIPT;
2894 arm_scache.dcache_type = arm_scache.icache_type = CACHE_TYPE_PIPT;
3527 arm_scache.dcache_type = arm_scache.icache_type = CACHE_TYPE_PIPT;

Completed in 22 milliseconds