immu_regs_get32
status = immu_regs_get32(immu, IMMU_REG_FAULT_STS);
uint32_t immu_regs_get32(immu_t *immu, uint_t reg);