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? thanks -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm