Rev 1138 | Rev 1675 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1138 | Rev 1187 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | #include <arch/stack.h> |
34 | #include <arch/stack.h> |
35 | #include <arch/mm/tlb.h> |
35 | #include <arch/mm/tlb.h> |
36 | #include <config.h> |
36 | #include <config.h> |
37 | #include <align.h> |
37 | #include <align.h> |
38 | 38 | ||
- | 39 | /** Perform ia64 specific tasks needed before the new task is run. */ |
|
- | 40 | void before_task_runs_arch(void) |
|
- | 41 | { |
|
- | 42 | } |
|
- | 43 | ||
39 | /** Prepare kernel stack pointers in bank 0 r22 and r23 and make sure the stack is mapped in DTR. */ |
44 | /** Prepare kernel stack pointers in bank 0 r22 and r23 and make sure the stack is mapped in DTR. */ |
40 | void before_thread_runs_arch(void) |
45 | void before_thread_runs_arch(void) |
41 | { |
46 | { |
42 | __address base; |
47 | __address base; |
43 | 48 |