tmp

asmlinkage __visible void __init start_kernel(void)
{
    char *command_line;  // a pointer to the kernel command line
    char *after_dashes;

    ... omitted ...

    pr_notice("Kernel command line: %s\n", boot_command_line);
    parse_early_param();              // parse options for early_param()
    after_dashes = parse_args("Booting kernel", static_command_line,  // parse options for module_param(), module_param_named(), core_param()
                  __start___param,                   // array of struct kernel_param
                  __stop___param - __start___param,  // number of params
                  -1, -1, &unknown_bootoption);      // parse options for __setup()

    ... omitted ...

}