/trunk/kernel/arch/arm32/src/drivers/gxemul.c |
---|
203,7 → 203,7 |
} |
} |
static irq_ownership_t gxemul_claim(void *instance) |
static irq_ownership_t gxemul_claim(irq_t *irq) |
{ |
return IRQ_ACCEPT; |
} |
265,7 → 265,7 |
*((uint32_t*) gxemul_hw_map.rtc_freq) = frequency; |
} |
static irq_ownership_t gxemul_timer_claim(void *instance) |
static irq_ownership_t gxemul_timer_claim(irq_t *irq) |
{ |
return IRQ_ACCEPT; |
} |