DMAR_PMEN_REG
reg = dmar_read4(unit, DMAR_PMEN_REG);
dmar_write4(unit, DMAR_PMEN_REG, reg);
DMAR_WAIT_UNTIL(((dmar_read4(unit, DMAR_PMEN_REG) & DMAR_PMEN_PRS)