Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-06-19 Thread Marc Zyngier
On 14/02/17 00:13, Shanker Donthineni wrote: > Hi Marc, > > > On 01/17/2017 04:20 AM, Marc Zyngier wrote: >> When a VPE is scheduled to run, the corresponding redistributor must >> be told so, by setting VPROPBASER to the VM's property table, and >> VPENDBASER to the vcpu's pending table. >> >>

Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-06-19 Thread Marc Zyngier
Coming back to this after spending too long doing something else... On 16/03/17 21:41, Shanker Donthineni wrote: > Hi Eric, > > > On 03/16/2017 04:23 PM, Auger Eric wrote: >> Hi, >> >> On 17/01/2017 11:20, Marc Zyngier wrote: >>> When a VPE is scheduled to run, the corresponding redistributor

Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-03-16 Thread Shanker Donthineni
Hi Eric, On 03/16/2017 04:23 PM, Auger Eric wrote: > Hi, > > On 17/01/2017 11:20, Marc Zyngier wrote: >> When a VPE is scheduled to run, the corresponding redistributor must >> be told so, by setting VPROPBASER to the VM's property table, and >> VPENDBASER to the vcpu's pending table. >> >> When

Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-03-16 Thread Auger Eric
Hi, On 17/01/2017 11:20, Marc Zyngier wrote: > When a VPE is scheduled to run, the corresponding redistributor must > be told so, by setting VPROPBASER to the VM's property table, and > VPENDBASER to the vcpu's pending table. > > When scheduled out, we preserve the IDAI and PendingLast bits. The

Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-02-13 Thread Shanker Donthineni
Hi Marc, On 01/17/2017 04:20 AM, Marc Zyngier wrote: When a VPE is scheduled to run, the corresponding redistributor must be told so, by setting VPROPBASER to the VM's property table, and VPENDBASER to the vcpu's pending table. When scheduled out, we preserve the IDAI and PendingLast bits. The

Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-02-13 Thread Shanker Donthineni
Hi Marc, On 01/17/2017 04:20 AM, Marc Zyngier wrote: When a VPE is scheduled to run, the corresponding redistributor must be told so, by setting VPROPBASER to the VM's property table, and VPENDBASER to the vcpu's pending table. When scheduled out, we preserve the IDAI and PendingLast bits.

Re: [RFC PATCH 24/33] irqchip/gic-v3-its: Add VPE scheduling

2017-02-13 Thread Thomas Gleixner
On Tue, 17 Jan 2017, Marc Zyngier wrote: > +static int its_vpe_set_vcpu_affinity(struct irq_data *d, void *vcpu_info) > +{ > + struct its_vpe *vpe = irq_data_get_irq_chip_data(d); > + struct its_cmd_info *info = vcpu_info; > + u64 val; > + > + switch (info->cmd_type) { > + case