IMMU_REG_FAULT_STS
status = immu_regs_get32(immu, IMMU_REG_FAULT_STS);
immu_regs_put32(immu, IMMU_REG_FAULT_STS, 1);