Symbol: CACHE_TYPE_VIPT
sys/arch/aarch64/include/cpu.h
81
#define CACHE_TYPE_VIPT 2
sys/arch/arm/include/cpu.h
168
#define CACHE_TYPE_VIPT 1