Rev 22 | Rev 111 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
/*
* To be defined by architectures:
*/
extern void before_thread_runs(void);
extern void before_thread_runs_arch(void);
#endif