put_reg64
put_reg64(immu, iva_offset, iva);
put_reg64(immu, iotlb_offset, command);
put_reg64(immu, IMMU_REG_CONTEXT_CMD, command);
put_reg64(immu, IMMU_REG_ROOTENTRY,
put_reg64(immu, IMMU_REG_INVAL_QT, 0);
put_reg64(immu, IMMU_REG_INVAL_QAR, qinv_reg_value);
put_reg64(immu, IMMU_REG_IRTAR, irta_reg);
put_reg64(immu, reg, val);