pub const HAL_IOMMU_INTERNAL_ERROR: BUGCHECK_ERROR = 473u32;