Início / unix / Perguntas / 790815
Accepted
Jeremy
Asked: 2025-02-10 06:57:15 +0800 CST

Carregando bootconfig no kernel Linux

  • 772

Estou lendo o código do kernel que carrega a configuração de inicialização. Em main.c o seguinte código é executado.

err = parse_args("bootconfig", tmp_cmdline, NULL, 0, 0, 0, NULL,
             bootconfig_params);

na linha 428. Eu abro parse_args, que, internamente, chama parse_one (ambos em kernel/params.c) e parece que, como const struct kernel_param *paramsé NULL, ele nunca irá iterar sobre nenhum parâmetro em parse_one.

Sei que deve haver algo que estou esquecendo aqui. O resto da função depois das linhas 431 e 432 static void __init setup_boot_config(void)nunca é executada, até onde posso ver. A configuração de inicialização deve ser analisada.

Em init/main.c https://elixir.bootlin.com/linux/v6.13.1/source/init/main.c static void __init setup_boot_config(void)

Em kernel/params.c https://elixir.bootlin.com/linux/v6.13.1/source/kernel/params.c parse_one(..) parse_args(..)

setup_boot_config(void) >> parse_args(..) >> parse_one(..) retornaENOENT

setup_boot_config(void) verificações

if (IS_ERR(err) || !(bootconfig_found || IS_ENABLED(CONFIG_BOOT_CONFIG_FORCE)))

e retorna. O xbc_init(..)nunca é chamado. Há algo faltando aqui.

linux

1 respostas

  1. Best Answer

    Na entrada para parse_args(), os parâmetros da função são:

    • doing = "bootconfig"
    • args = tmp_cmdline
    • params = NULL
    • num_params = 0
    • min_level = 0
    • max_level = 0
    • arg = NULL
    • unknown = &(bootconfig_params)()

    Então, na entrada para parse_one():

    • param= paramdeparse_args()
    • val= valdeparse_args()
    • doing = "bootconfig"
    • params = NULL
    • num_params = 0
    • min_level = 0
    • max_level = 0
    • arg = NULL
    • handle_unknown= unknownde parse_args()=&(bootconfig_params()

    Como num_paramsé 0, o primeiro forloop parse_one()é pulado e chegamos a esta parte:

    if (handle_unknown) {
    pr_debug("doing %s: %s='%s'\n", doing, param, val);
    return handle_unknown(param, val, doing, arg);
}

    E aqui está o que você perdeu:

    handle_unknowné um ponteiro de função válido para bootconfig_params(), então não é NULL. E então, o conteúdo de if(handle_unknown)será executado, e porque ele contém um incondicional return, ele ditará o resultado de parse_one().

    Então, depois de resolver o ponteiro de função, o retorno parse_one()será o que bootconfig_params(param, val, doing, arg)for retornado.

    E isso é simplesmente:

    static int __init bootconfig_params(char *param, char *val,
                    const char *unused, void *arg)
{
    if (strcmp(param, "bootconfig") == 0) {
        bootconfig_found = true;
    }
    return 0;
}

    Então se paramfor a string exata "bootconfig", então bootconfig_foundé definido como true. Mas essa função sempre retorna 0... o que significa que parse_one()também retornará 0... o que define retcomo parse_args()0 em vez de ENOENT, então o switch(ret)irá para continue.

    E assim, o while (*args) ...loop principal parse_args()começa a iterar para o próximo parâmetro de tmp_cmdline.

    • 1

relate perguntas