DMAR_CAP_RWBF
if ((unit->hw_cap & DMAR_CAP_RWBF) != 0) {
else if ((unit->hw_cap & DMAR_CAP_RWBF) != 0) {
KASSERT((unit->hw_cap & DMAR_CAP_RWBF) != 0,