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 | */ |