Symbol: CACHE_TYPE_PIxx
sys/arch/arm/arm32/cpu.c
635
info->dcache_type & CACHE_TYPE_PIxx ? 'P' : 'V',
sys/arch/arm/arm32/cpu.c
645
info->icache_type & CACHE_TYPE_PIxx ? 'P' : 'V',
sys/arch/arm/arm32/cpu.c
655
info->dcache_type & CACHE_TYPE_PIxx ? 'P' : 'V',