On Fri, 21 Oct 2016 13:58:47 +0100 Peter Maydell <peter.maydell@xxxxxxxxxx> wrote: > On 21 October 2016 at 13:52, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > > diff --git a/arch/arm/include/asm/arch_gicv3.h b/arch/arm/include/asm/arch_gicv3.h > > index a808829..5c03171 100644 > > --- a/arch/arm/include/asm/arch_gicv3.h > > +++ b/arch/arm/include/asm/arch_gicv3.h > > @@ -222,6 +222,11 @@ static inline void gic_write_bpr1(u32 val) > > write_sysreg(val, ICC_BPR1); > > } > > > > +static inline u32 gic_write_bpr1(void) > > +{ > > + return read_sysreg(ICC_BPR1); > > > ...a write function that calls read_sysreg() and returns a value? As you can tell, I haven't even compiled the 32bit version... :-/ M. -- Jazz is not dead. It just smells funny. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html