37,9 → 37,10 |
|
#include <adt/list.h> |
#include <synch/spinlock.h> |
#include <ipc/irq.h> |
|
#define MAX_CMDLINE 256 |
#define KCONSOLE_HISTORY 10 |
#define MAX_CMDLINE 256 |
#define KCONSOLE_HISTORY 10 |
|
typedef enum { |
ARG_TYPE_INVALID = 0, |
46,7 → 47,7 |
ARG_TYPE_INT, |
ARG_TYPE_STRING, |
/** Variable type - either symbol or string. */ |
ARG_TYPE_VAR |
ARG_TYPE_VAR |
} cmd_arg_type_t; |
|
/** Structure representing one argument of kconsole command line. */ |
83,13 → 84,19 |
void (* help)(void); |
} cmd_info_t; |
|
extern bool kconsole_notify; |
extern irq_t kconsole_irq; |
|
SPINLOCK_EXTERN(cmd_lock); |
extern link_t cmd_head; |
|
extern void kconsole_init(void); |
extern void kconsole(void *prompt); |
extern void kconsole_notify_init(void); |
extern bool kconsole_check_poll(void); |
extern void kconsole(char *prompt, char *msg, bool kcon); |
extern void kconsole_thread(void *data); |
|
extern int cmd_register(cmd_info_t *cmd); |
extern bool cmd_register(cmd_info_t *cmd); |
|
#endif |
|