immu_regs_put32
immu_regs_put32(immu, fault_reg_offset + index * 16 + 12,
immu_regs_put32(immu, IMMU_REG_FAULT_STS, 1);
void immu_regs_put32(immu_t *immu, uint_t reg, uint32_t val);