Rev 3774 | Rev 3880 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3774 | Rev 3779 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | 37 | ||
| 38 | #include <config.h> |
38 | #include <config.h> |
| 39 | #include <arch/types.h> |
39 | #include <arch/types.h> |
| 40 | #include <arch/register.h> |
40 | #include <arch/register.h> |
| 41 | 41 | ||
| 42 | typedef uint64_t ioport_t; |
- | |
| 43 | - | ||
| 44 | #define IA64_IOSPACE_ADDRESS 0xE001000000000000ULL |
42 | #define IA64_IOSPACE_ADDRESS 0xE001000000000000ULL |
| 45 | 43 | ||
| 46 | static inline void outb(ioport_t port, uint8_t v) |
44 | static inline void outb(ioport_t port, uint8_t v) |
| 47 | { |
45 | { |
| 48 | *((uint8_t *)(IA64_IOSPACE_ADDRESS + |
46 | *((uint8_t *)(IA64_IOSPACE_ADDRESS + |