Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
init/main.c kernel_init() -> run_init_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | init_filename | 1-u64max |
| BUF_SIZE | 0 | init_filename | 6 |
init/main.c kernel_init() -> run_init_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | init_filename | 1-u64max |
init/main.c kernel_init() -> run_init_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | init_filename | 4602998933304729600 |
| STR_LEN | 0 | init_filename | 0 |
| TERMINATED | 0 | init_filename | 1 |
init/main.c try_to_run_init_process() -> run_init_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | init_filename | 3229554730262843392,3886032281475792896,8483804085341945856,9073431515092844544 |
| BUF_SIZE | 0 | init_filename | 8,10-11 |
| BUF_SIZE | 0 | init_filename | 8,10-11 |
| DATA_SOURCE | 0 | init_filename | $0 |
| STR_LEN | 0 | init_filename | 7,9-10 |
| STR_LEN | 0 | init_filename | 7,9-10 |
| TERMINATED | 0 | init_filename | 1 |