On 21 November 2012 18:15, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > The number of list registers is unlikely to change between vcpu > creation - it is a property of the hardware. > > Just compute it once at init time, and use this value later on > when creating vcpus. > static u32 default_vmcr; > +static u32 default_nr_lr; "default_" is a bit of an odd prefix here, since the number of list registers is fixed... -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm