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