ICACHEF_VPIPT      74 arch/arm64/include/asm/cache.h 	return test_bit(ICACHEF_VPIPT, &__icache_flags);
ICACHEF_VPIPT     315 arch/arm64/kernel/cpuinfo.c 		set_bit(ICACHEF_VPIPT, &__icache_flags);