On 30/05/17 11:15, Auger Eric wrote: > Marc, > > On 03/05/2017 12:46, Marc Zyngier wrote: >> Add a handler for writing the guest's view of the ICC_DIR_EL1 >> register, performing the deactivation of an interrupt if EOImode >> is set ot 1. >> >> Signed-off-by: Marc Zyngier <marc.zyngier@xxxxxxx> >> --- >> virt/kvm/arm/hyp/vgic-v3-sr.c | 23 +++++++++++++++++++++++ >> 1 file changed, 23 insertions(+) >> >> diff --git a/virt/kvm/arm/hyp/vgic-v3-sr.c b/virt/kvm/arm/hyp/vgic-v3-sr.c >> index 9c639f57268b..563dd2d16c59 100644 >> --- a/virt/kvm/arm/hyp/vgic-v3-sr.c >> +++ b/virt/kvm/arm/hyp/vgic-v3-sr.c >> @@ -612,6 +612,26 @@ static void __hyp_text __vgic_v3_bump_eoicount(void) >> write_gicreg(hcr, ICH_HCR_EL2); >> } >> >> +static void __hyp_text __vgic_v3_write_dir(struct kvm_vcpu *vcpu, >> + u32 vmcr, int rt) >> +{ >> + u32 vid = vcpu_get_reg(vcpu, rt); >> + u64 lr_val; >> + int lr; >> + >> + /* No deactivate to be performed on an LPI */ >> + if (vid >= VGIC_MIN_LPI) >> + return; > > don't you need to test the EOImode first? Spec says: > " > When EOImode == ‘0’. GICv3 implementations must ignore such writes. In > systems supporting system error generation, an implementation might > generate an SEI. > " Ah, very good point! Thanks for the heads up! M. -- Jazz is not dead. It just smells funny...