Searched refs:arg_console_id (Results 1 – 1 of 1) sorted by relevance
1149 const char *arg_console_id) in console_server_add_consoles() argument1159 const char *console_id = arg_console_id; in console_server_add_consoles()