Rev 1 | Rev 52 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 22 | ||
---|---|---|---|
Line 53... | Line 53... | ||
53 | extern void scheduler_init(void); |
53 | extern void scheduler_init(void); |
54 | 54 | ||
55 | extern void scheduler(void); |
55 | extern void scheduler(void); |
56 | extern void kcpulb(void *arg); |
56 | extern void kcpulb(void *arg); |
57 | 57 | ||
- | 58 | /* |
|
- | 59 | * To be defined by architectures: |
|
- | 60 | */ |
|
- | 61 | ||
- | 62 | extern void before_thread_runs(void); |
|
- | 63 | ||
58 | #endif |
64 | #endif |