Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2307 | ||
|---|---|---|---|
| Line 126... | Line 126... | ||
| 126 | * |
126 | * |
| 127 | */ |
127 | */ |
| 128 | void arch_grab_console(void) |
128 | void arch_grab_console(void) |
| 129 | { |
129 | { |
| 130 | } |
130 | } |
| - | 131 | ||
| 131 | /** Return console to userspace |
132 | /** Return console to userspace |
| 132 | * |
133 | * |
| 133 | */ |
134 | */ |
| 134 | void arch_release_console(void) |
135 | void arch_release_console(void) |
| 135 | { |
136 | { |
| 136 | } |
137 | } |
| 137 | 138 | ||
| - | 139 | void arch_reboot(void) |
|
| - | 140 | { |
|
| - | 141 | // TODO |
|
| - | 142 | while (1); |
|
| - | 143 | } |
|
| - | 144 | ||
| 138 | /** @} |
145 | /** @} |
| 139 | */ |
146 | */ |