Rev 1277 | Rev 1371 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
__u32 xer;
__u32 r12;
__u32 sp;
};
static inline void istate_set_retaddr(istate_t *istate, __address retaddr)
{
/* TODO */
}
#endif