On 23/10/15 11:14, Ian Campbell wrote:
> On Fri, 2015-10-23 at 11:01 +0100, Julien Grall wrote:
>> On 23/10/15 10:34, Ian Campbell wrote:
>>> On Thu, 2015-10-22 at 18:15 +0100, Julien Grall wrote:
Hi Ian,
On 22/10/15 17:17, Ian Campbell wrote:
> On Mon, 2015-10-12 at 15:22
On Fri, 2015-10-23 at 11:01 +0100, Julien Grall wrote:
> On 23/10/15 10:34, Ian Campbell wrote:
> > On Thu, 2015-10-22 at 18:15 +0100, Julien Grall wrote:
> > > Hi Ian,
> > >
> > > On 22/10/15 17:17, Ian Campbell wrote:
> > > > On Mon, 2015-10-12 at 15:22 +0100, Julien Grall wrote:
> > > > >
On Thu, 2015-10-22 at 18:15 +0100, Julien Grall wrote:
> Hi Ian,
>
> On 22/10/15 17:17, Ian Campbell wrote:
> > On Mon, 2015-10-12 at 15:22 +0100, Julien Grall wrote:
> > > [...]
> > > /* Only migrate the vIRQ if the target vCPU has changed */
> > > if ( new_target != old_target
On 23/10/15 10:34, Ian Campbell wrote:
> On Thu, 2015-10-22 at 18:15 +0100, Julien Grall wrote:
>> Hi Ian,
>>
>> On 22/10/15 17:17, Ian Campbell wrote:
>>> On Mon, 2015-10-12 at 15:22 +0100, Julien Grall wrote:
[...]
/* Only migrate the vIRQ if the target vCPU has changed */
Hi Ian,
On 22/10/15 17:17, Ian Campbell wrote:
> On Mon, 2015-10-12 at 15:22 +0100, Julien Grall wrote:
>> [...]
>> /* Only migrate the vIRQ if the target vCPU has changed */
>> if ( new_target != old_target )
>> {
>> +unsigned int virq = rank->index *
On Mon, 2015-10-12 at 15:22 +0100, Julien Grall wrote:
> [...]
> /* Only migrate the vIRQ if the target vCPU has changed */
> if ( new_target != old_target )
> {
> +unsigned int virq = rank->index * NR_INTERRUPT_PER_RANK + offset;
FWIW this was the value of
