cmd_arg_type_t 61 kernel/generic/include/console/kconsole.h cmd_arg_type_t type; cmd_arg_type_t 69 kernel/generic/include/console/kconsole.h cmd_arg_type_t vartype;