Rev 4391 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4391 | Rev 4393 | ||
|---|---|---|---|
| Line 95... | Line 95... | ||
| 95 | 95 | ||
| 96 | static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
96 | static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
| 97 | { |
97 | { |
| 98 | istate->rip = retaddr; |
98 | istate->rip = retaddr; |
| 99 | } |
99 | } |
| 100 | static inline uintptr_t istate_get_pc(istate_t *istate) |
100 | static inline unative_t istate_get_pc(istate_t *istate) |
| 101 | { |
101 | { |
| 102 | return istate->rip; |
102 | return istate->rip; |
| 103 | } |
103 | } |
| 104 | 104 | ||
| 105 | extern void (* disable_irqs_function)(uint16_t irqmask); |
105 | extern void (* disable_irqs_function)(uint16_t irqmask); |