Rev 1 | 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 |