| PARAM_VALUE |
1 |
boot_params |
4096-ptr_max |
| PARAM_VALUE |
1 |
boot_params->alt_mem_k |
32768 |
| PARAM_VALUE |
1 |
boot_params->e820_table->type |
0-4294967295 |
| PARAM_VALUE |
1 |
boot_params->hdr.initrd_addr_max |
0-4294967295 |
| PARAM_VALUE |
1 |
boot_params->hdr.root_flags |
0-u16max |
| PARAM_VALUE |
1 |
boot_params->hdr.setup_data |
1-u64max |
| PARAM_VALUE |
1 |
boot_params->hdr.setup_data->len |
0-4294967295 |
| PARAM_VALUE |
1 |
boot_params->hdr.setup_data->type |
0-4294967295 |
| PARAM_VALUE |
1 |
boot_params->hdr.type_of_loader |
0-255 |
| PARAM_VALUE |
1 |
boot_params->hdr.vid_mode |
0-u16max |
| PARAM_VALUE |
1 |
boot_params->secure_boot |
1-255 |
| DATA_SOURCE |
1 |
boot_params |
$2 [m] |
| NOCHECK_CALL |
|
|
|
