Rev 1077 | Rev 1595 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1077 | Rev 1288 | ||
|---|---|---|---|
| Line 84... | Line 84... | ||
| 84 | __u64 cs; |
84 | __u64 cs; |
| 85 | __u64 rflags; |
85 | __u64 rflags; |
| 86 | __u64 stack[]; /* Additional data on stack */ |
86 | __u64 stack[]; /* Additional data on stack */ |
| 87 | }; |
87 | }; |
| 88 | 88 | ||
| - | 89 | static inline void istate_set_retaddr(istate_t *istate, __address retaddr) |
|
| - | 90 | { |
|
| - | 91 | istate->rip = retaddr; |
|
| - | 92 | } |
|
| - | 93 | ||
| 89 | extern void (* disable_irqs_function)(__u16 irqmask); |
94 | extern void (* disable_irqs_function)(__u16 irqmask); |
| 90 | extern void (* enable_irqs_function)(__u16 irqmask); |
95 | extern void (* enable_irqs_function)(__u16 irqmask); |
| 91 | extern void (* eoi_function)(void); |
96 | extern void (* eoi_function)(void); |
| 92 | 97 | ||
| 93 | extern void print_info_errcode(int n, istate_t *istate); |
98 | extern void print_info_errcode(int n, istate_t *istate); |