~martin-decky/helenos/rcu

« back to all changes in this revision

Viewing changes to kernel/arch/arm32/src/mach/testarm/testarm.c

  • Committer: Martin Decky
  • Date: 2012-04-11 12:42:27 UTC
  • Revision ID: martin@decky.cz-20120411124227-708y5eysvkx1xiuv
cstyle

Show diffs side-by-side

added added

removed removed

Lines of Context:
120
120
                        dsrlnin_wire(dsrlnin_instance, srln);
121
121
                }
122
122
        }
123
 
 
 
123
        
124
124
        /*
125
125
         * This is the necessary evil until the userspace driver is entirely
126
126
         * self-sufficient.
171
171
        spinlock_unlock(&irq->lock);
172
172
        clock();
173
173
        spinlock_lock(&irq->lock);
174
 
 
 
174
        
175
175
        /* acknowledge tick */
176
176
        *((uint32_t *) (gxemul_rtc + GXEMUL_RTC_ACK_OFFSET))
177
177
            = 0;
180
180
/** Initializes and registers timer interrupt handler. */
181
181
static void gxemul_timer_irq_init(void)
182
182
{
183
 
        irq_initialize(&gxemul_timer_irq);
184
 
        gxemul_timer_irq.devno = device_assign_devno();
185
 
        gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
186
 
        gxemul_timer_irq.claim = gxemul_timer_claim;
187
 
        gxemul_timer_irq.handler = gxemul_timer_irq_handler;
188
 
 
189
 
        irq_register(&gxemul_timer_irq);
 
183
        irq_initialize(&gxemul_timer_irq);
 
184
        gxemul_timer_irq.devno = device_assign_devno();
 
185
        gxemul_timer_irq.inr = GXEMUL_TIMER_IRQ;
 
186
        gxemul_timer_irq.claim = gxemul_timer_claim;
 
187
        gxemul_timer_irq.handler = gxemul_timer_irq_handler;
 
188
        
 
189
        irq_register(&gxemul_timer_irq);
190
190
}
191
191
 
192
192
 
197
197
 */
198
198
void gxemul_timer_irq_start(void)
199
199
{
200
 
        gxemul_timer_irq_init();
201
 
        gxemul_timer_start(GXEMUL_TIMER_FREQ);
 
200
        gxemul_timer_irq_init();
 
201
        gxemul_timer_start(GXEMUL_TIMER_FREQ);
202
202
}
203
203
 
204
204
/** Get extents of available memory.
226
226
{
227
227
        uint32_t sources = gxemul_irqc_get_sources();
228
228
        unsigned int i;
229
 
 
 
229
        
230
230
        for (i = 0; i < GXEMUL_IRQ_COUNT; i++) {
231
231
                if (sources & (1 << i)) {
232
232
                        irq_t *irq = irq_dispatch_and_lock(i);