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 51... | Line 51... | ||
| 51 | #include <arch.h> |
51 | #include <arch.h> |
| 52 | #include <time/delay.h> |
52 | #include <time/delay.h> |
| 53 | #include <ddi/irq.h> |
53 | #include <ddi/irq.h> |
| 54 | #include <ddi/device.h> |
54 | #include <ddi/device.h> |
| 55 | 55 | ||
| 56 | #define CLK_PORT1 0x40 |
56 | #define CLK_PORT1 ((ioport8_t *)0x40) |
| 57 | #define CLK_PORT4 0x43 |
57 | #define CLK_PORT4 ((ioport8_t *)0x43) |
| 58 | 58 | ||
| 59 | #define CLK_CONST 1193180 |
59 | #define CLK_CONST 1193180 |
| 60 | #define MAGIC_NUMBER 1194 |
60 | #define MAGIC_NUMBER 1194 |
| 61 | 61 | ||
| 62 | static irq_t i8254_irq; |
62 | static irq_t i8254_irq; |
| 63 | 63 | ||
| 64 | static irq_ownership_t i8254_claim(void *instance) |
64 | static irq_ownership_t i8254_claim(irq_t *irq) |
| 65 | { |
65 | { |
| 66 | return IRQ_ACCEPT; |
66 | return IRQ_ACCEPT; |
| 67 | } |
67 | } |
| 68 | 68 | ||
| 69 | static void i8254_irq_handler(irq_t *irq) |
69 | static void i8254_irq_handler(irq_t *irq) |