Rev 4153 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4153 | Rev 4263 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | #include <ipc/irq.h> |
52 | #include <ipc/irq.h> |
53 | #include <ipc/ipc.h> |
53 | #include <ipc/ipc.h> |
54 | #include <synch/spinlock.h> |
54 | #include <synch/spinlock.h> |
55 | #include <mm/tlb.h> |
55 | #include <mm/tlb.h> |
56 | #include <symtab.h> |
56 | #include <symtab.h> |
- | 57 | #include <putchar.h> |
|
57 | 58 | ||
58 | #define VECTORS_64_BUNDLE 20 |
59 | #define VECTORS_64_BUNDLE 20 |
59 | #define VECTORS_16_BUNDLE 48 |
60 | #define VECTORS_16_BUNDLE 48 |
60 | #define VECTORS_16_BUNDLE_START 0x5000 |
61 | #define VECTORS_16_BUNDLE_START 0x5000 |
61 | #define VECTOR_MAX 0x7f00 |
62 | #define VECTOR_MAX 0x7f00 |