Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/lib/cmdline.c cmdline_find_option() -> __cmdline_find_option()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cmdline | 8641364693893263360 |
| PARAM_VALUE | 1 | max_cmdline_size | 2048 |
| PARAM_VALUE | 2 | option | 1038641533173358592,2111675152704491520,2692777422554738688,5290597618986704896,6625375494473789440,8076216551605510144 |
| PARAM_VALUE | 3 | buffer | 1060363833844629504,6065140047161589760,7806589840143290368,8062127547602456576 |
| PARAM_VALUE | 4 | bufsize | 4,20,64,128 |
| BUF_SIZE | 0 | cmdline | 2048 |
| BUF_SIZE | 0 | cmdline | 2048 |
| BUF_SIZE | 2 | option | 5,9-11,18,24 |
| BUF_SIZE | 2 | option | 5,9-11,18,24 |
| BUF_SIZE | 3 | buffer | 4,20,64,128 |
| BUF_SIZE | 3 | buffer | 4,20,64,128 |
| DATA_SOURCE | 0 | cmdline | $0 |
| DATA_SOURCE | 2 | option | $1 |
| DATA_SOURCE | 3 | buffer | $2 |
| DATA_SOURCE | 4 | bufsize | $3 |
| STR_LEN | 0 | cmdline | 4,8-10,17,23 |
| STR_LEN | 0 | cmdline | 4,8-10,17,23 |
| TERMINATED | 2 | option | 1 |
| HARD_MAX | 4 | bufsize | 128 |
| UNITS | 4 | bufsize | unit_byte |
| HALF_LOCKED2 | irq |
arch/x86/lib/cmdline.c cmdline_find_option() -> __cmdline_find_option()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cmdline | 3484962355801911296 |
| PARAM_VALUE | 1 | max_cmdline_size | 2048 |
| PARAM_VALUE | 2 | option | 1038641533173358592,2111675152704491520,2692777422554738688,5290597618986704896,6625375494473789440,8076216551605510144 |
| PARAM_VALUE | 3 | buffer | 1060363833844629504,6065140047161589760,7806589840143290368,8062127547602456576 |
| PARAM_VALUE | 4 | bufsize | 4,20,64,128 |
| BUF_SIZE | 0 | cmdline | 2048 |
| BUF_SIZE | 2 | option | 5,9-11,18,24 |
| BUF_SIZE | 2 | option | 5,9-11,18,24 |
| BUF_SIZE | 3 | buffer | 4,20,64,128 |
| BUF_SIZE | 3 | buffer | 4,20,64,128 |
| CAPPED_DATA | 4 | bufsize | 1 |
| DATA_SOURCE | 2 | option | $1 |
| DATA_SOURCE | 3 | buffer | $2 |
| DATA_SOURCE | 4 | bufsize | $3 |
| TERMINATED | 2 | option | 1 |
| HARD_MAX | 4 | bufsize | 128 |
| UNITS | 4 | bufsize | unit_byte |
| HALF_LOCKED2 | irq |