Rev 1787 | Rev 1823 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1787 | Rev 1792 | ||
---|---|---|---|
Line 39... | Line 39... | ||
39 | #include <arch/asm.h> |
39 | #include <arch/asm.h> |
40 | 40 | ||
41 | /** Switch to in-kernel trap table. */ |
41 | /** Switch to in-kernel trap table. */ |
42 | static inline void trap_switch_trap_table(void) |
42 | static inline void trap_switch_trap_table(void) |
43 | { |
43 | { |
44 | /* Point TBA to kernel copy of OFW's trap table. */ |
44 | /* Point TBA to kernel trap table. */ |
45 | tba_write((uint64_t) trap_table); |
45 | tba_write((uint64_t) trap_table); |
46 | } |
46 | } |
47 | 47 | ||
48 | extern void trap_init(void); |
48 | extern void trap_init(void); |
49 | 49 |