diff options
Diffstat (limited to 'arch/arm64/include/asm/kvm_arm.h')
| -rw-r--r-- | arch/arm64/include/asm/kvm_arm.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/arch/arm64/include/asm/kvm_arm.h b/arch/arm64/include/asm/kvm_arm.h index 94674eb7e7bb..54bb4ba97441 100644 --- a/arch/arm64/include/asm/kvm_arm.h +++ b/arch/arm64/include/asm/kvm_arm.h | |||
| @@ -129,6 +129,9 @@ | |||
| 129 | * 40 bits wide (T0SZ = 24). Systems with a PARange smaller than 40 bits are | 129 | * 40 bits wide (T0SZ = 24). Systems with a PARange smaller than 40 bits are |
| 130 | * not known to exist and will break with this configuration. | 130 | * not known to exist and will break with this configuration. |
| 131 | * | 131 | * |
| 132 | * VTCR_EL2.PS is extracted from ID_AA64MMFR0_EL1.PARange at boot time | ||
| 133 | * (see hyp-init.S). | ||
| 134 | * | ||
| 132 | * Note that when using 4K pages, we concatenate two first level page tables | 135 | * Note that when using 4K pages, we concatenate two first level page tables |
| 133 | * together. | 136 | * together. |
| 134 | * | 137 | * |
| @@ -138,7 +141,6 @@ | |||
| 138 | #ifdef CONFIG_ARM64_64K_PAGES | 141 | #ifdef CONFIG_ARM64_64K_PAGES |
| 139 | /* | 142 | /* |
| 140 | * Stage2 translation configuration: | 143 | * Stage2 translation configuration: |
| 141 | * 40bits output (PS = 2) | ||
| 142 | * 40bits input (T0SZ = 24) | 144 | * 40bits input (T0SZ = 24) |
| 143 | * 64kB pages (TG0 = 1) | 145 | * 64kB pages (TG0 = 1) |
| 144 | * 2 level page tables (SL = 1) | 146 | * 2 level page tables (SL = 1) |
| @@ -150,7 +152,6 @@ | |||
| 150 | #else | 152 | #else |
| 151 | /* | 153 | /* |
| 152 | * Stage2 translation configuration: | 154 | * Stage2 translation configuration: |
| 153 | * 40bits output (PS = 2) | ||
| 154 | * 40bits input (T0SZ = 24) | 155 | * 40bits input (T0SZ = 24) |
| 155 | * 4kB pages (TG0 = 0) | 156 | * 4kB pages (TG0 = 0) |
| 156 | * 3 level page tables (SL = 1) | 157 | * 3 level page tables (SL = 1) |