Searched refs:k_argc (Results 1 - 1 of 1) sorted by relevance

/gem5/system/alpha/console/
H A Dconsole.c79 void JToKern(char *bootadr, ulong rpb_percpu, ulong free_pfn, ulong k_argc,
737 JToKern(char *bootadr, ulong rpb_percpu, ulong free_pfn, ulong k_argc, argument
745 printf_lock("k_argc = %d ", k_argc);
746 for (i = 0; i < k_argc; i++) {
754 kernel_params->argc = k_argc;

Completed in 12 milliseconds