pub const HAL_IOMMU_INTERNAL_ERROR: BUGCHECK_ERROR;