On 11 September 2012 07:10, Rusty Russell <rusty.russell@xxxxxxxxxx> wrote: > +/* VFP registers: we could overload CP10 like ARM does, but that's ugly. */ > +#define KVM_REG_ARM_VFP (0x0012 << KVM_REG_ARM_COPROC_SHIFT) > +#define KVM_REG_ARM_VFP_ID_MASK 0x000000000000FFFF > +#define KVM_REG_ARM_VFP_ID_BASE_REG 0x0 ...this is the base for the main VFP registers, right? Why does it have 'ID' in its name? > +#define KVM_REG_ARM_VFP_ID_FPSID 0x1000 > +#define KVM_REG_ARM_VFP_ID_FPSCR 0x1001 > +#define KVM_REG_ARM_VFP_ID_MVFR0 0x1006 > +#define KVM_REG_ARM_VFP_ID_MVFR1 0x1007 > +#define KVM_REG_ARM_VFP_ID_FPEXC 0x1008 > +#define KVM_REG_ARM_VFP_ID_FPINST 0x1009 > +#define KVM_REG_ARM_VFP_ID_FPINST2 0x100A -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm