Symbol: iommu_haddr_t
sys/x86/iommu/iommu_utils.c
187
iommu_haddr_t iommu_high;
sys/x86/iommu/x86_iommu.h
57
extern iommu_haddr_t iommu_high;