Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/efibc.c efibc_reboot_notifier_call() -> efibc_set_variable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 1100289009727397888 |
| PARAM_VALUE | 0 | *name | 0-255 |
| PARAM_VALUE | 1 | value | 6259556262503854080,6718728012039995392 |
| PARAM_VALUE | 1 | *value | 0-255 |
| BUF_SIZE | 0 | name | 48 |
| BUF_SIZE | 1 | value | 14,18 |
| BUF_SIZE | 1 | value | 14,18 |
| STR_LEN | 0 | name | 23 |
| STR_LEN | 1 | value | 6,8 |
| STR_LEN | 1 | value | 6,8 |
| BIT_INFO | 1 | value | 0x541c2101941c0000,0x7fffffffffffffff |
| BIT_INFO | 1 | value | 0x541c2101941c0000,0xffffffffffffffff |
| TERMINATED | 0 | name | 1 |
| TERMINATED | 1 | value | 1 |
drivers/firmware/efi/efibc.c efibc_reboot_notifier_call() -> efibc_set_variable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 561141953559109632 |
| PARAM_VALUE | 0 | *name | 0-255 |
| PARAM_VALUE | 1 | value | 4096-ptr_max |
| BUF_SIZE | 0 | name | 38 |
| BUF_SIZE | 1 | value | 1024 |
| BUF_SIZE | 1 | value | 1024 |
| DATA_SOURCE | 1 | value | r _kmalloc_noprof |
| STR_LEN | 0 | name | 18 |
| TERMINATED | 0 | name | 1 |
| NOCHECK_CALL |