Rev 3906 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3906 | Rev 3941 | ||
|---|---|---|---|
| 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. */ |