Rev 1881 | Rev 1945 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1881 | Rev 1942 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <arch/interrupt.h> |
39 | #include <arch/interrupt.h> |
40 | #include <arch/register.h> |
40 | #include <arch/register.h> |
41 | #include <arch/asm.h> |
41 | #include <arch/asm.h> |
42 | #include <arch/barrier.h> |
42 | #include <arch/barrier.h> |
43 | #include <time/clock.h> |
43 | #include <time/clock.h> |
- | 44 | #include <ddi/irq.h> |
|
- | 45 | #include <ddi/device.h> |
|
44 | #include <arch.h> |
46 | #include <arch.h> |
45 | 47 | ||
46 | - | ||
47 | #define IT_SERVICE_CLOCKS 64 |
48 | #define IT_SERVICE_CLOCKS 64 |
48 | 49 | ||
- | 50 | static irq_t it_irq; |
|
- | 51 | ||
- | 52 | static irq_ownership_t it_claim(void); |
|
- | 53 | static void it_interrupt(irq_t *irq, void *arg, ...); |
|
- | 54 | ||
49 | /** Initialize Interval Timer. */ |
55 | /** Initialize Interval Timer. */ |
50 | void it_init(void) |
56 | void it_init(void) |
51 | { |
57 | { |
52 | cr_itv_t itv; |
58 | cr_itv_t itv; |
53 | 59 | ||
- | 60 | irq_initialize(&it_irq); |
|
- | 61 | it_irq.inr = INTERRUPT_TIMER; |
|
- | 62 | it_irq.devno = device_assign_devno(); |
|
- | 63 | it_irq.claim = it_claim; |
|
- | 64 | it_irq.handler = it_interrupt; |
|
- | 65 | irq_register(&it_irq); |
|
- | 66 | ||
54 | /* initialize Interval Timer external interrupt vector */ |
67 | /* initialize Interval Timer external interrupt vector */ |
55 | itv.value = itv_read(); |
68 | itv.value = itv_read(); |
56 | itv.vector = INTERRUPT_TIMER; |
69 | itv.vector = INTERRUPT_TIMER; |
57 | itv.m = 0; |
70 | itv.m = 0; |
58 | itv_write(itv.value); |
71 | itv_write(itv.value); |
Line 65... | Line 78... | ||
65 | 78 | ||
66 | /* propagate changes */ |
79 | /* propagate changes */ |
67 | srlz_d(); |
80 | srlz_d(); |
68 | } |
81 | } |
69 | 82 | ||
- | 83 | /** Always claim ownership for this IRQ. |
|
- | 84 | * |
|
- | 85 | * Other devices are responsible to avoid using INR 0. |
|
- | 86 | * |
|
- | 87 | * @return Always IRQ_ACCEPT. |
|
- | 88 | */ |
|
- | 89 | irq_ownership_t it_claim(void) |
|
- | 90 | { |
|
- | 91 | return IRQ_ACCEPT; |
|
- | 92 | } |
|
70 | 93 | ||
71 | /** Process Interval Timer interrupt. */ |
94 | /** Process Interval Timer interrupt. */ |
72 | void it_interrupt(void) |
95 | void it_interrupt(irq_t *irq, void *arg, ...) |
73 | { |
96 | { |
74 | int64_t c; |
97 | int64_t c; |
75 | int64_t m; |
98 | int64_t m; |
76 | 99 | ||
77 | eoi_write(EOI); |
100 | eoi_write(EOI); |
Line 81... | Line 104... | ||
81 | while (1) { |
104 | while (1) { |
82 | c = itc_read(); |
105 | c = itc_read(); |
83 | c += IT_SERVICE_CLOCKS; |
106 | c += IT_SERVICE_CLOCKS; |
84 | 107 | ||
85 | m += IT_DELTA; |
108 | m += IT_DELTA; |
86 | if (m-c<0) |
109 | if (m - c < 0) |
87 | CPU->missed_clock_ticks++; |
110 | CPU->missed_clock_ticks++; |
88 | else |
111 | else |
89 | break; |
112 | break; |
90 | } |
113 | } |
91 | 114 | ||
92 | itm_write(m); |
115 | itm_write(m); |
93 | srlz_d(); /* propagate changes */ |
116 | srlz_d(); /* propagate changes */ |
94 | 117 | ||
95 | clock(); |
118 | clock(); |
- | 119 | ||
- | 120 | /* |
|
- | 121 | * This one is a good candidate for moving to a separate |
|
- | 122 | * kernel thread private to ski.c |
|
- | 123 | */ |
|
96 | poll_keyboard(); |
124 | poll_keyboard(); |
97 | } |
125 | } |
98 | 126 | ||
99 | /** @} |
127 | /** @} |
100 | */ |
128 | */ |