Symbol: CACHE_TYPE_xxPT
sys/arch/arm/arm32/cpu.c
636
info->dcache_type & CACHE_TYPE_xxPT ? 'P' : 'V');
sys/arch/arm/arm32/cpu.c
646
info->icache_type & CACHE_TYPE_xxPT ? 'P' : 'V');
sys/arch/arm/arm32/cpu.c
656
info->dcache_type & CACHE_TYPE_xxPT ? 'P' : 'V');