Re: [Xen-devel] [PATCH 53/57] ARM: new VGIC: vgic-init: implement vgic_init

2018-03-09 Thread Julien Grall
Hi Andre, On 05/03/18 16:04, Andre Przywara wrote: This patch allocates and initializes the data structures used to model the vgic distributor and virtual cpu interfaces. At that stage the number of IRQs and number of virtual CPUs is frozen. Implement the various functions that the Xen arch

[Xen-devel] [PATCH 53/57] ARM: new VGIC: vgic-init: implement vgic_init

2018-03-05 Thread Andre Przywara
This patch allocates and initializes the data structures used to model the vgic distributor and virtual cpu interfaces. At that stage the number of IRQs and number of virtual CPUs is frozen. Implement the various functions that the Xen arch code is expecting to call during domain and VCPU setup to