Revision e03377ae

b/hw/xilinx_timer.c
119 119
            break;
120 120

  
121 121
    }
122
    D(printf("%s timer=%d %x=%x\n", __func__, timer, addr * 4, r));
122
    D(fprintf(stderr, "%s timer=%d %x=%x\n", __func__, timer, addr * 4, r));
123 123
    return r;
124 124
}
125 125

  
......
127 127
{
128 128
    uint64_t count;
129 129

  
130
    D(printf("%s timer=%d down=%d\n", __func__,
130
    D(fprintf(stderr, "%s timer=%d down=%d\n", __func__,
131 131
              xt->nr, xt->regs[R_TCSR] & TCSR_UDT));
132 132

  
133 133
    ptimer_stop(xt->ptimer);
......
152 152
    addr >>= 2;
153 153
    timer = timer_from_addr(addr);
154 154
    xt = &t->timers[timer];
155
    D(printf("%s addr=%x val=%x (timer=%d off=%d)\n",
155
    D(fprintf(stderr, "%s addr=%x val=%x (timer=%d off=%d)\n",
156 156
             __func__, addr * 4, value, timer, addr & 3));
157 157
    /* Further decoding to address a specific timers reg.  */
158 158
    addr &= 3;
......
189 189
{
190 190
    struct xlx_timer *xt = opaque;
191 191
    struct timerblock *t = xt->parent;
192
    D(printf("%s %d\n", __func__, timer));
192
    D(fprintf(stderr, "%s %d\n", __func__, timer));
193 193
    xt->regs[R_TCSR] |= TCSR_TINT;
194 194

  
195 195
    if (xt->regs[R_TCSR] & TCSR_ARHT)

Also available in: Unified diff