On 21 November 2012 18:15, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > +static u32 default_vmcr; reset_vmcr or initial_vmcr, maybe? -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm