Skip to content

Commit d406fcb

Browse files
author
Marc Zyngier
committed
KVM: arm64: Add RES1_WHEN_E2Hx constraints as configuration flags
"Thanks" to VHE, SCTLR_EL2 radically changes shape depending on the value of HCR_EL2.E2H, as a lot of the bits that didn't have much meaning with E2H=0 start impacting EL0 with E2H=1. This has a direct impact on the RESx behaviour of these bits, and we need a way to express them. For this purpose, introduce two new constaints that, when the controlling feature is not present, force the field to RES1 depending on the value of E2H. Note that RES0 is still implicit, This allows diverging RESx values depending on the value of E2H, something that is required by a bunch of SCTLR_EL2 bits. Reviewed-by: Fuad Tabba <tabba@google.com> Tested-by: Fuad Tabba <tabba@google.com> Link: https://patch.msgid.link/20260202184329.2724080-13-maz@kernel.org Signed-off-by: Marc Zyngier <maz@kernel.org>
1 parent ad90512 commit d406fcb

1 file changed

Lines changed: 9 additions & 3 deletions

File tree

arch/arm64/kvm/config.c

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,8 @@ struct reg_bits_to_feat_map {
2626
#define MASKS_POINTER BIT(3) /* Pointer to fgt_masks struct instead of bits */
2727
#define AS_RES1 BIT(4) /* RES1 when not supported */
2828
#define REQUIRES_E2H1 BIT(5) /* Add HCR_EL2.E2H RES1 as a pre-condition */
29+
#define RES1_WHEN_E2H0 BIT(6) /* RES1 when E2H=0 and not supported */
30+
#define RES1_WHEN_E2H1 BIT(7) /* RES1 when E2H=1 and not supported */
2931

3032
unsigned long flags;
3133

@@ -1297,10 +1299,14 @@ static struct resx compute_resx_bits(struct kvm *kvm,
12971299
match &= !e2h0;
12981300

12991301
if (!match) {
1300-
if (map[i].flags & AS_RES1)
1301-
resx.res1 |= reg_feat_map_bits(&map[i]);
1302+
u64 bits = reg_feat_map_bits(&map[i]);
1303+
1304+
if ((map[i].flags & AS_RES1) ||
1305+
(e2h0 && (map[i].flags & RES1_WHEN_E2H0)) ||
1306+
(!e2h0 && (map[i].flags & RES1_WHEN_E2H1)))
1307+
resx.res1 |= bits;
13021308
else
1303-
resx.res0 |= reg_feat_map_bits(&map[i]);
1309+
resx.res0 |= bits;
13041310
}
13051311
}
13061312

0 commit comments

Comments
 (0)