Symbol: CACHE_TYPE_VIVT
sys/arch/aarch64/include/cpu.h
80
#define CACHE_TYPE_VIVT 1 /* ASID-tagged VIVT */
sys/arch/arm/include/cpu.h
166
#define CACHE_TYPE_VIVT 0