Rev 2089 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2089 | Rev 3071 | ||
|---|---|---|---|
| Line 80... | Line 80... | ||
| 80 | 80 | ||
| 81 | static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
81 | static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
| 82 | { |
82 | { |
| 83 | istate->pc = retaddr; |
83 | istate->pc = retaddr; |
| 84 | } |
84 | } |
| - | 85 | ||
| 85 | /** Return true if exception happened while in userspace */ |
86 | /** Return true if exception happened while in userspace */ |
| 86 | #include <panic.h> |
87 | #include <panic.h> |
| 87 | static inline int istate_from_uspace(istate_t *istate) |
88 | static inline int istate_from_uspace(istate_t *istate) |
| 88 | { |
89 | { |
| 89 | panic("istate_from_uspace not yet implemented"); |
90 | panic("istate_from_uspace not yet implemented"); |
| 90 | return 0; |
91 | return 0; |
| 91 | } |
92 | } |
| - | 93 | ||
| 92 | static inline unative_t istate_get_pc(istate_t *istate) |
94 | static inline unative_t istate_get_pc(istate_t *istate) |
| 93 | { |
95 | { |
| 94 | return istate->pc; |
96 | return istate->pc; |
| 95 | } |
97 | } |
| 96 | 98 | ||