Rev 1371 | Rev 1730 | 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 |