Defined in 2 files as a prototype:
Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
$ |
4096-ptr_max |
| PARAM_VALUE |
0 |
$->alt_mem_k |
32768 |
| PARAM_VALUE |
0 |
$->e820_table->type |
0-4294967295 |
| PARAM_VALUE |
0 |
$->hdr.initrd_addr_max |
0-4294967295 |
| PARAM_VALUE |
0 |
$->hdr.root_flags |
0-u16max |
| PARAM_VALUE |
0 |
$->hdr.setup_data |
1-u64max |
| PARAM_VALUE |
0 |
$->hdr.setup_data->len |
0-4294967295 |
| PARAM_VALUE |
0 |
$->hdr.setup_data->type |
0-4294967295 |
| PARAM_VALUE |
0 |
$->hdr.type_of_loader |
0-255 |
| PARAM_VALUE |
0 |
$->hdr.vid_mode |
0-u16max |
| PARAM_VALUE |
0 |
$->secure_boot |
1-255 |
| DATA_SOURCE |
0 |
$ |
$2 [m] |
| NOCHECK_CALL |
|
|
|
