diff options
| author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2012-04-25 16:11:38 +0100 |
|---|---|---|
| committer | Konrad Rzeszutek Wilk <konrad.wilk@oracle.com> | 2012-04-26 18:02:02 -0400 |
| commit | 521394e4e679996955bc351cb6b64639751db2ff (patch) | |
| tree | bb34ba562e347340af2197947859dddbafd6e771 /drivers/pci | |
| parent | df88b2d96e36d9a9e325bfcd12eb45671cbbc937 (diff) | |
xen: use the pirq number to check the pirq_eoi_map
In pirq_check_eoi_map use the pirq number rather than the Linux irq
number to check whether an eoi is needed in the pirq_eoi_map.
The reason is that the irq number is not always identical to the
pirq number so if we wrongly use the irq number to check the
pirq_eoi_map we are going to check for the wrong pirq to EOI.
As a consequence some interrupts might not be EOI'ed by the
guest correctly.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Tested-by: Tobias Geiger <tobias.geiger@vido.info>
[v1: Added some extra wording to git commit]
Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Diffstat (limited to 'drivers/pci')
0 files changed, 0 insertions, 0 deletions