Rev 4343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4343 | Rev 4344 | ||
---|---|---|---|
Line 54... | Line 54... | ||
54 | 54 | ||
55 | uint64_t it_delta; |
55 | uint64_t it_delta; |
56 | 56 | ||
57 | static irq_t it_irq; |
57 | static irq_t it_irq; |
58 | 58 | ||
59 | static irq_ownership_t it_claim(void *); |
59 | static irq_ownership_t it_claim(irq_t *); |
60 | static void it_interrupt(irq_t *irq); |
60 | static void it_interrupt(irq_t *); |
61 | 61 | ||
62 | /** Initialize Interval Timer. */ |
62 | /** Initialize Interval Timer. */ |
63 | void it_init(void) |
63 | void it_init(void) |
64 | { |
64 | { |
65 | cr_itv_t itv; |
65 | cr_itv_t itv; |
Line 102... | Line 102... | ||
102 | * |
102 | * |
103 | * Other devices are responsible to avoid using INR 0. |
103 | * Other devices are responsible to avoid using INR 0. |
104 | * |
104 | * |
105 | * @return Always IRQ_ACCEPT. |
105 | * @return Always IRQ_ACCEPT. |
106 | */ |
106 | */ |
107 | irq_ownership_t it_claim(void *instance) |
107 | irq_ownership_t it_claim(irq_t *irq) |
108 | { |
108 | { |
109 | return IRQ_ACCEPT; |
109 | return IRQ_ACCEPT; |
110 | } |
110 | } |
111 | 111 | ||
112 | /** Process Interval Timer interrupt. */ |
112 | /** Process Interval Timer interrupt. */ |