Searched refs:l4util_argv (Results 1 – 3 of 3) sorted by relevance
24 char *l4util_argv[MAXARGC]; variable57 l4util_argv[l4util_argc++] = cp; in __l4util_parse_args()74 l4util_argv[l4util_argc] = (void*) 0; in __l4util_parse_args()
28 extern char *l4util_argv[];
Completed in 4 milliseconds