DMAR_CAP_REG
(uintmax_t)dmar_read8(unit, DMAR_CAP_REG),
unit->hw_cap = dmar_read8(unit, DMAR_CAP_REG);