Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3343 | Rev 3742 | ||
|---|---|---|---|
| Line 85... | Line 85... | ||
| 85 | 85 | ||
| 86 | SPINLOCK_EXTERN(cmd_lock); |
86 | SPINLOCK_EXTERN(cmd_lock); |
| 87 | extern link_t cmd_head; |
87 | extern link_t cmd_head; |
| 88 | 88 | ||
| 89 | extern void kconsole_init(void); |
89 | extern void kconsole_init(void); |
| - | 90 | extern void kconsole(char *prompt, char *msg, bool kcon); |
|
| 90 | extern void kconsole(void *prompt); |
91 | extern void kconsole_thread(void *data); |
| 91 | 92 | ||
| 92 | extern int cmd_register(cmd_info_t *cmd); |
93 | extern int cmd_register(cmd_info_t *cmd); |
| 93 | 94 | ||
| 94 | #endif |
95 | #endif |
| 95 | 96 | ||