[siemens/jailhouse] 187154: driver: Do not include arm-gic.h when not needed

[GitHub]

Branch: refs/heads/next
Home: https://github.com/siemens/jailhouse
Commit: 1871543996d03b8890193f80cecafe6dbf9c9fc6
https://github.com/siemens/jailhouse/commit/1871543996d03b8890193f80cecafe6dbf9c9fc6
Author: Jan Kiszka <jan.k...@siemens.com>
Date: 2018-05-14 (Mon, 14 May 2018)

Changed paths:
M driver/pci.c

Log Message:
-----------
driver: Do not include arm-gic.h when not needed

So far, it works for recent kernels, even on x86, but better not rely on
this.

Signed-off-by: Jan Kiszka <jan.k...@siemens.com>



**NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

Functionality will be removed from GitHub.com on January 31st, 2019.

[GitHub]

Branch: refs/heads/coverity_scan