Symbol: icache_is_pipt
arch/arm/kernel/setup.c
283
if (icache_is_pipt())
arch/arm/kernel/setup.c
348
icache_is_pipt() ? "PIPT" :