Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/libstub/file.c handle_cmdline_files() -> find_file_option()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | prefix | 2599695222005989376 |
| PARAM_VALUE | 3 | prefix_size | 14 |
| PARAM_VALUE | 5 | result_len | 256 |
| BUF_SIZE | 0 | cmdline | (-1),4 |
| BUF_SIZE | 0 | cmdline | (-1),4 |
| BUF_SIZE | 2 | prefix | 16 |
| BUF_SIZE | 2 | prefix | 16 |
| BUF_SIZE | 4 | result | 512 |
| DATA_SOURCE | 2 | prefix | $1 |
| DATA_SOURCE | 3 | prefix_size | $2 |
| TERMINATED | 2 | prefix | 1 |
| UNITS | 3 | prefix_size | unit_byte |
| UNITS | 5 | result_len | unit_array_size |