91,11 → 91,7 |
} istate_t; |
|
|
/** Sets Program Counter member of given istate structure. |
* |
* @param istate istate structure |
* @param retaddr new value of istate's PC member |
*/ |
|
static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
{ |
istate->pc = retaddr; |
102,13 → 98,13 |
} |
|
|
/** Returns true if exception happened while in userspace. */ |
/** Return true if exception happened while in userspace. */ |
static inline int istate_from_uspace(istate_t *istate) |
{ |
return (istate->spsr & STATUS_REG_MODE_MASK) == USER_MODE; |
} |
|
/** Returns Program Counter member of given istate structure. */ |
|
static inline unative_t istate_get_pc(istate_t *istate) |
{ |
return istate->pc; |