On 6 July 2016 at 10:46, Eric Auger <eric.au...@redhat.com> wrote: > +/** > + * > + * We currently do not use kvm_arm_register_device to provide > + * the kernel with the vITS control frame base address since the > + * KVM_DEV_ARM_VGIC_CTRL_INIT init MUST be called after the > + * KVM_ARM_SET_DEVICE_ADDR and the kvm_arm_register_device > + * infra does not allow this. > + */
So the conclusion on the kvm-arm mailing list was that the kernel ought to permit DEVICE_ADDR to be set after INIT, the same way it does for the GIC proper, right? thanks -- PMM