Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/vars.c efivar_get_variable() -> (struct efivar_operations)->get_variable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | vendor | 4096-ptr_max |
| PARAM_VALUE | 2 | attr | 0,6069307269731504128 |
| PARAM_VALUE | 3 | data_size | 1172135391113969664,3484497353560002560,3667911872578355200,4355757630428180480,5933472992510140416,7412634618884026368 |
| PARAM_VALUE | 3 | *data_size | 0-4000000,18446744073709551612-u64max |
| PARAM_VALUE | 4 | data | 0,16,20,4096-ptr_max |
| BUF_SIZE | 0 | name | 1-s32max |
| BUF_SIZE | 0 | name | 1-s32max |
| BUF_SIZE | 4 | data | (-1)-s32max |
| BUF_SIZE | 4 | data | (-1)-s32max |
| DATA_SOURCE | 0 | name | $0 |
| DATA_SOURCE | 1 | vendor | $1 |
| DATA_SOURCE | 2 | attr | $2 |
| DATA_SOURCE | 3 | data_size | $3 |
| DATA_SOURCE | 4 | data | $4 |
| STR_LEN | 0 | name | (-1),7 |
| STR_LEN | 0 | name | (-1),7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &psi->read_mutex | ||
| HALF_LOCKED2 | global &efivars_lock |