arm64: cache: Identify VPIPT I-caches

[karo-tx-linux.git] / arch / arm64 / kernel / cpuinfo.c

diff --git a/arch/arm64/kernel/cpuinfo.c b/arch/arm64/kernel/cpuinfo.c
index 260b54f415b83d59de06ff3a5f301356d8021d4c..7d27f4b4881e40a493763689ef7ef630b1dd97e5 100644 (file)
--- a/arch/arm64/kernel/cpuinfo.c
+++ b/arch/arm64/kernel/cpuinfo.c
@@ -46,6 +46,7 @@ static char *icache_policy_str[] = {
        [0 ... ICACHE_POLICY_PIPT]      = "RESERVED/UNKNOWN",
        [ICACHE_POLICY_VIPT]            = "VIPT",
        [ICACHE_POLICY_PIPT]            = "PIPT",
+       [ICACHE_POLICY_VPIPT]           = "VPIPT",
 };
 
 unsigned long __icache_flags;
@@ -291,6 +292,9 @@ static void cpuinfo_detect_icache_policy(struct cpuinfo_arm64 *info)
        switch (l1ip) {
        case ICACHE_POLICY_PIPT:
                break;
+       case ICACHE_POLICY_VPIPT:
+               set_bit(ICACHEF_VPIPT, &__icache_flags);
+               break;
        default:
                /* Fallthrough */
        case ICACHE_POLICY_VIPT: