Rev 567 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 567 | Rev 574 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | 31 | ||
32 | #include <arch/types.h> |
32 | #include <arch/types.h> |
33 | #include <arch/interrupt.h> |
33 | #include <arch/interrupt.h> |
34 | 34 | ||
35 | /** Address of 'keyboard' device. */ |
35 | /** Address of 'keyboard' device. */ |
36 | #define KEYBOARD_ADDRESS 0xB0000004 |
36 | #define KEYBOARD_ADDRESS 0xB0000000 |
37 | 37 | ||
38 | extern void keyboard_init(void); |
38 | extern void keyboard_init(void); |
39 | extern void keyboard(void); |
39 | extern void keyboard(void); |
40 | extern void keyboard_poll(void); |
40 | extern void keyboard_poll(void); |
41 | 41 |