icache_is_pipt    259 arch/arm/include/asm/kvm_mmu.h 	if (!icache_is_pipt()) {
icache_is_pipt    288 arch/arm/kernel/setup.c 	if (icache_is_pipt())
icache_is_pipt    353 arch/arm/kernel/setup.c 		icache_is_pipt() ? "PIPT" :