Rev 2274 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2274 | Rev 2329 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | * @{ |
30 | * @{ |
| 31 | */ |
31 | */ |
| 32 | /** @file |
32 | /** @file |
| 33 | */ |
33 | */ |
| 34 | 34 | ||
| - | 35 | ||
| 35 | #include <console/console.h> |
36 | #include <console/console.h> |
| 36 | #include <arch/console.h> |
37 | #include <arch/console.h> |
| 37 | #include <arch/machine.h> |
38 | #include <arch/machine.h> |
| 38 | 39 | ||
| - | 40 | ||
| 39 | void console_init(devno_t devno) |
41 | void console_init(devno_t devno) |
| 40 | { |
42 | { |
| 41 | machine_console_init(devno); |
43 | machine_console_init(devno); |
| 42 | } |
44 | } |
| 43 | 45 | ||
| - | 46 | ||
| 44 | /** Acquire console back for kernel |
47 | /** Acquire console back for kernel. */ |
| 45 | * |
- | |
| 46 | */ |
- | |
| 47 | void arch_grab_console(void) |
48 | void arch_grab_console(void) |
| 48 | { |
49 | { |
| 49 | machine_grab_console(); |
50 | machine_grab_console(); |
| 50 | } |
51 | } |
| 51 | 52 | ||
| - | 53 | ||
| 52 | /** Return console to userspace |
54 | /** Return console to userspace. */ |
| 53 | * |
- | |
| 54 | */ |
- | |
| 55 | void arch_release_console(void) |
55 | void arch_release_console(void) |
| 56 | { |
56 | { |
| 57 | machine_release_console(); |
57 | machine_release_console(); |
| 58 | } |
58 | } |
| 59 | 59 | ||
| - | 60 | ||
| 60 | /** @} |
61 | /** @} |
| 61 | */ |
62 | */ |