Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3343 | Rev 3593 | ||
|---|---|---|---|
| Line 44... | Line 44... | ||
| 44 | #include <ddi/device.h> |
44 | #include <ddi/device.h> |
| 45 | #include <arch.h> |
45 | #include <arch.h> |
| 46 | 46 | ||
| 47 | #define IT_SERVICE_CLOCKS 64 |
47 | #define IT_SERVICE_CLOCKS 64 |
| 48 | 48 | ||
| - | 49 | #define FREQ_NUMERATOR_SHIFT 32 |
|
| - | 50 | #define FREQ_NUMERATOR_MASK 0xffffffff00000000LL |
|
| - | 51 | ||
| - | 52 | #define FREQ_DENOMINATOR_SHIFT 0 |
|
| - | 53 | #define FREQ_DENOMINATOR_MASK 0xffffffffLL |
|
| - | 54 | ||
| - | 55 | ||
| - | 56 | uint64_t it_delta; |
|
| - | 57 | ||
| - | 58 | ||
| 49 | static irq_t it_irq; |
59 | static irq_t it_irq; |
| 50 | 60 | ||
| 51 | static irq_ownership_t it_claim(void); |
61 | static irq_ownership_t it_claim(void); |
| 52 | static void it_interrupt(irq_t *irq, void *arg, ...); |
62 | static void it_interrupt(irq_t *irq, void *arg, ...); |
| 53 | 63 | ||
| 54 | /** Initialize Interval Timer. */ |
64 | /** Initialize Interval Timer. */ |
| 55 | void it_init(void) |
65 | void it_init(void) |
| 56 | { |
66 | { |
| 57 | cr_itv_t itv; |
67 | cr_itv_t itv; |
| 58 | 68 | ||
| - | 69 | if(config.cpu_active==1) |
|
| - | 70 | { |
|
| 59 | irq_initialize(&it_irq); |
71 | irq_initialize(&it_irq); |
| 60 | it_irq.inr = INTERRUPT_TIMER; |
72 | it_irq.inr = INTERRUPT_TIMER; |
| 61 | it_irq.devno = device_assign_devno(); |
73 | it_irq.devno = device_assign_devno(); |
| 62 | it_irq.claim = it_claim; |
74 | it_irq.claim = it_claim; |
| 63 | it_irq.handler = it_interrupt; |
75 | it_irq.handler = it_interrupt; |
| 64 | irq_register(&it_irq); |
76 | irq_register(&it_irq); |
| - | 77 | ||
| - | 78 | uint64_t base_freq; |
|
| - | 79 | base_freq = ((bootinfo->freq_scale) & FREQ_NUMERATOR_MASK) >> FREQ_NUMERATOR_SHIFT; |
|
| - | 80 | base_freq *= bootinfo->sys_freq; |
|
| - | 81 | base_freq /= ((bootinfo->freq_scale) & FREQ_DENOMINATOR_MASK) >> FREQ_DENOMINATOR_SHIFT; |
|
| - | 82 | ||
| - | 83 | it_delta = base_freq /HZ; |
|
| - | 84 | ||
| - | 85 | } |
|
| 65 | 86 | ||
| 66 | /* initialize Interval Timer external interrupt vector */ |
87 | /* initialize Interval Timer external interrupt vector */ |
| 67 | itv.value = itv_read(); |
88 | itv.value = itv_read(); |
| 68 | itv.vector = INTERRUPT_TIMER; |
89 | itv.vector = INTERRUPT_TIMER; |
| 69 | itv.m = 0; |
90 | itv.m = 0; |
| 70 | itv_write(itv.value); |
91 | itv_write(itv.value); |