Rev 2612 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2612 | Rev 3890 | ||
|---|---|---|---|
| Line 69... | Line 69... | ||
| 69 | #define VECTOR_DEBUG_IPI (IVT_FREEBASE + 2) |
69 | #define VECTOR_DEBUG_IPI (IVT_FREEBASE + 2) |
| 70 | 70 | ||
| 71 | /** This is passed to interrupt handlers */ |
71 | /** This is passed to interrupt handlers */ |
| 72 | typedef struct { |
72 | typedef struct { |
| 73 | uint64_t rax; |
73 | uint64_t rax; |
| 74 | uint64_t rbx; |
- | |
| 75 | uint64_t rcx; |
74 | uint64_t rcx; |
| 76 | uint64_t rdx; |
75 | uint64_t rdx; |
| 77 | uint64_t rsi; |
76 | uint64_t rsi; |
| 78 | uint64_t rdi; |
77 | uint64_t rdi; |
| 79 | uint64_t r8; |
78 | uint64_t r8; |
| 80 | uint64_t r9; |
79 | uint64_t r9; |
| 81 | uint64_t r10; |
80 | uint64_t r10; |
| 82 | uint64_t r11; |
81 | uint64_t r11; |
| 83 | uint64_t r12; |
- | |
| 84 | uint64_t r13; |
- | |
| 85 | uint64_t r14; |
- | |
| 86 | uint64_t r15; |
- | |
| 87 | uint64_t rbp; |
- | |
| 88 | uint64_t error_word; |
82 | uint64_t error_word; |
| 89 | uint64_t rip; |
83 | uint64_t rip; |
| 90 | uint64_t cs; |
84 | uint64_t cs; |
| 91 | uint64_t rflags; |
85 | uint64_t rflags; |
| 92 | uint64_t stack[]; /* Additional data on stack */ |
86 | uint64_t stack[]; /* Additional data on stack */ |