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); |