immu_regs_get64
val = immu_regs_get64(immu, fault_reg_offset + index * 16 + 8);
val = immu_regs_get64(immu, fault_reg_offset + index * 16);
immu_regs_get64(immu, IMMU_REG_INVAL_QH));
immu_regs_get64(immu, IMMU_REG_INVAL_QH));
uint64_t immu_regs_get64(immu_t *immu, uint_t reg);