K 10
svn:author
V 2
br
K 8
svn:date
V 27
2020-10-19T13:10:21.379032Z
K 7
svn:log
V 293
Manage MSI iommu pages.

This allows the interrupt controller driver only need a small change to
create a map for the page the device will write to raise an interrupt.

Submitted by:	andrew
Reviewed by:	kib
Sponsored by:	Innovate DSbD
Differential Revision:	https://reviews.freebsd.org/D26705

END