ICACHE_POLICY_PIPT   37 arch/arm64/kernel/cpuinfo.c 	[0 ... ICACHE_POLICY_PIPT]	= "RESERVED/UNKNOWN",
ICACHE_POLICY_PIPT   39 arch/arm64/kernel/cpuinfo.c 	[ICACHE_POLICY_PIPT]		= "PIPT",
ICACHE_POLICY_PIPT  312 arch/arm64/kernel/cpuinfo.c 	case ICACHE_POLICY_PIPT: