Rev 329 | Rev 332 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 329 | Rev 330 | ||
---|---|---|---|
Line 35... | Line 35... | ||
35 | #include <userspace.h> |
35 | #include <userspace.h> |
36 | #include <arch/console.h> |
36 | #include <arch/console.h> |
37 | #include <memstr.h> |
37 | #include <memstr.h> |
38 | #include <arch/interrupt.h> |
38 | #include <arch/interrupt.h> |
39 | 39 | ||
- | 40 | #include <print.h> |
|
- | 41 | ||
40 | /* Size of the code jumping to the exception handler code |
42 | /* Size of the code jumping to the exception handler code |
41 | * - J+NOP |
43 | * - J+NOP |
42 | */ |
44 | */ |
43 | #define EXCEPTION_JUMP_SIZE 8 |
45 | #define EXCEPTION_JUMP_SIZE 8 |
44 | 46 | ||
45 | #define TLB_EXC ((char *) 0x80000000) |
47 | #define TLB_EXC ((char *) 0x80000000) |
46 | #define NORM_EXC ((char *) 0x80000180) |
48 | #define NORM_EXC ((char *) 0x80000180) |
47 | #define CACHE_EXC ((char *) 0x80000100) |
49 | #define CACHE_EXC ((char *) 0x80000100) |
48 | 50 | ||
49 | #include <arch/debug.h> |
- | |
50 | - | ||
51 | #include <print.h> |
- | |
52 | void arch_pre_mm_init(void) |
51 | void arch_pre_mm_init(void) |
53 | { |
52 | { |
54 | /* It is not assumed by default */ |
53 | /* It is not assumed by default */ |
55 | cpu_priority_high(); |
54 | cpu_priority_high(); |
56 | 55 |