Searched refs:kernel_argc (Results 1 – 2 of 2) sorted by relevance
679 int kernel_argc = argc - kernel_arg; in main() local687 for (int i = 0; i < kernel_argc; i++) in main()696 int64_t argv_data[kernel_argc]; in main()707 kernargs->argc = kernel_argc; in main()717 for (int i = 0; i < kernel_argc; i++) in main()
827 int kernel_argc = argc - kernel_arg; in main() local835 for (int i = 0; i < kernel_argc; i++) in main()844 int64_t argv_data[kernel_argc]; in main()855 kernargs->argc = kernel_argc; in main()865 for (int i = 0; i < kernel_argc; i++) in main()