diff options
| author | Andrew Turner <andrew@FreeBSD.org> | 2016-12-05 11:40:54 +0000 |
|---|---|---|
| committer | Andrew Turner <andrew@FreeBSD.org> | 2016-12-05 11:40:54 +0000 |
| commit | 7abeae41fbaec2eb15d2c73fd27e5f5096ea1a2c (patch) | |
| tree | 9cf8f774c3cdae107774436193ed02aaf9644837 /sys/x86/iommu/intel_drv.c | |
| parent | 714935be5a0448c889ae3a3dcf261ea2a7edece3 (diff) | |
Remove an unneeded header. It was used when we had an arm64 specific GIC
driver, however with INTRNG this has been merged into a common arm driver.
Obtained from: ABT Systems Ltd
Sponsored by: The FreeBSD Foundation
Notes
Notes:
svn path=/head/; revision=309549
Diffstat (limited to 'sys/x86/iommu/intel_drv.c')
0 files changed, 0 insertions, 0 deletions