Rev 1473 | Rev 1477 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1473 | Rev 1474 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | #include <arch/mm/memory_init.h> |
52 | #include <arch/mm/memory_init.h> |
53 | #include <interrupt.h> |
53 | #include <interrupt.h> |
54 | #include <arch/debugger.h> |
54 | #include <arch/debugger.h> |
55 | #include <proc/thread.h> |
55 | #include <proc/thread.h> |
56 | #include <syscall/syscall.h> |
56 | #include <syscall/syscall.h> |
- | 57 | #include <console/console.h> |
|
57 | 58 | ||
58 | void arch_pre_mm_init(void) |
59 | void arch_pre_mm_init(void) |
59 | { |
60 | { |
60 | pm_init(); |
61 | pm_init(); |
61 | 62 | ||
Line 130... | Line 131... | ||
130 | THREAD->arch.tls = addr; |
131 | THREAD->arch.tls = addr; |
131 | set_tls_desc(addr); |
132 | set_tls_desc(addr); |
132 | 133 | ||
133 | return 0; |
134 | return 0; |
134 | } |
135 | } |
- | 136 | ||
- | 137 | /** Acquire console back for kernel |
|
- | 138 | * |
|
- | 139 | */ |
|
- | 140 | void arch_grab_console(void) |
|
- | 141 | { |
|
- | 142 | i8042_grab(); |
|
- | 143 | } |
|
- | 144 | /** Return console to userspace |
|
- | 145 | * |
|
- | 146 | */ |
|
- | 147 | void arch_release_console(void) |
|
- | 148 | { |
|
- | 149 | i8042_release(); |
|
- | 150 | } |