Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/platform/efi/efi_64.c efi_thunk_get_next_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 0,143772717287284736,591811170828705792,2064532795767508992,5763994760135217152,7377762494158360576,8672675617298903040 |
| PARAM_VALUE | 1 | size | 8 |
| BUF_SIZE | 0 | va | (-1)-0,8 |
| BUF_SIZE | 0 | va | (-1)-0,8 |
| DATA_SOURCE | 0 | va | $0 |
| STR_LEN | 0 | va | (-1)-0 |
| STR_LEN | 0 | va | (-1)-0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| USER_PTR | 0 | va | |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_next_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 5870888350355128320 |
| PARAM_VALUE | 1 | size | 16 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_next_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *va | 0-u16max |
| DATA_SOURCE | 0 | va | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| USER_DATA | 1 | size | 0-u64max |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 8 |
| BUF_SIZE | 0 | va | (-1)-0,8 |
| BUF_SIZE | 0 | va | (-1)-0,8 |
| DATA_SOURCE | 0 | va | $3 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| USER_PTR | 0 | va | |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 9060125404173099008 |
| PARAM_VALUE | 1 | size | 16 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *va | 0-u16max |
| PARAM_VALUE | 1 | size | 1-2147479543 |
| BUF_SIZE | 0 | va | (-1),1-s32max |
| DATA_SOURCE | 0 | va | $0 |
| STR_LEN | 0 | va | (-1),2-7,9-13,17,21-24 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 4 |
| BUF_SIZE | 0 | va | (-1)-0,4 |
| BUF_SIZE | 0 | va | (-1)-0,4 |
| DATA_SOURCE | 0 | va | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/platform/efi/efi_64.c efi_thunk_get_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | va | (-1)-s32max |
| BUF_SIZE | 0 | va | (-1)-s32max |
| DATA_SOURCE | 0 | va | $4 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | size | 0-u64max |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/platform/efi/efi_64.c efi_thunk_query_variable_info() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 1956363084807532544,6491360876185751552,7933786100602294272 |
| PARAM_VALUE | 1 | size | 8 |
| DATA_SOURCE | 0 | va | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_query_variable_info() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 2314287812955951104,6140695808126390272,8833235900921548800 |
| PARAM_VALUE | 1 | size | 8 |
| DATA_SOURCE | 0 | va | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_query_variable_info() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 2583123180808130560,3193953133190139904,7385226493196378112 |
| PARAM_VALUE | 1 | size | 8 |
| DATA_SOURCE | 0 | va | $3 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_query_variable_info_nonblocking() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 2683966898309660672 |
| PARAM_VALUE | 1 | size | 8 |
| DATA_SOURCE | 0 | va | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| LOCK2 | global &efivars_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem |
arch/x86/platform/efi/efi_64.c efi_thunk_query_variable_info_nonblocking() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 5366671831810842624 |
| PARAM_VALUE | 1 | size | 8 |
| DATA_SOURCE | 0 | va | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| LOCK2 | global &efivars_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem |
arch/x86/platform/efi/efi_64.c efi_thunk_query_variable_info_nonblocking() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 603050131206017024 |
| PARAM_VALUE | 1 | size | 8 |
| DATA_SOURCE | 0 | va | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| LOCK2 | global &efivars_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem |
arch/x86/platform/efi/efi_64.c efi_thunk_reset_system() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 0-ptr_max |
| PARAM_VALUE | 1 | size | 0-s32max |
| CAPPED_DATA | 1 | size | 1 |
| CAPPED_DATA | 1 | size | 1 |
| DATA_SOURCE | 0 | va | $3 |
| DATA_SOURCE | 1 | size | $2 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | size | 0-s32max[c] |
| BYTE_COUNT | 0 | ==va1 | 8050 |
| USER_PTR | 0 | va | |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_set_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *va | 0-u16max |
| PARAM_VALUE | 1 | size | 1-2147479543 |
| BUF_SIZE | 0 | va | (-1),2-134,1024 |
| DATA_SOURCE | 0 | va | $0 |
| STR_LEN | 0 | va | (-1),7,18,22-23 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_set_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 7866586571748474880 |
| PARAM_VALUE | 1 | size | 16 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_set_variable() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | va | (-1),2,14,18,1024 |
| BUF_SIZE | 0 | va | (-1),2,14,18,1024 |
| DATA_SOURCE | 0 | va | $4 |
| DATA_SOURCE | 1 | size | $3 |
| NOSPEC | 1 | size | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *va | s64min-s64max |
| USER_DATA | 1 | size | 0-s32max[c] |
| UNITS | 0 | va | unit_byte |
| UNITS | 1 | size | unit_byte |
| BYTE_COUNT | 0 | ==va1 | 8050 |
| USER_PTR | 0 | va | |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_set_variable_nonblocking() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-2147479543 |
| BUF_SIZE | 0 | va | 2-134,1024 |
| DATA_SOURCE | 0 | va | $0 |
| STR_LEN | 0 | va | (-1),7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_set_variable_nonblocking() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | va | 1900498446053781504 |
| PARAM_VALUE | 1 | size | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | size | unit_byte |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |
arch/x86/platform/efi/efi_64.c efi_thunk_set_variable_nonblocking() -> virt_to_phys_or_null_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | va | $4 |
| DATA_SOURCE | 1 | size | $3 |
| NOSPEC | 1 | size | |
| NOSPEC | 1 | size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *va | s64min-s64max |
| USER_DATA | 1 | size | 0-1000000000[c] |
| UNITS | 0 | va | unit_byte |
| UNITS | 1 | size | unit_byte |
| USER_PTR | 0 | va | |
| LOCK2 | flags | ||
| LOCK2 | global &efi_runtime_lock | ||
| HALF_LOCKED2 | global &efivars_lock |