Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/acpi/apei/erst.c __erst_clear_from_storage() -> apei_exec_ctx_set_input()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5736060918527582208 |
| DATA_SOURCE | 1 | input | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->dst_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->src_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->value | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| USER_DATA | 1 | input | 0-u64max |
| LOCK2 | flags | ||
| LOCK2 | global &erst_lock | ||
| LOCK2 | global &erst_record_id_cache.lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &mce_chrdev_read_mutex | ||
| TYPE_LOCK | (struct erst_record_id_cache)->lock |
drivers/acpi/apei/erst.c __erst_read_from_storage() -> apei_exec_ctx_set_input()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7596537681779060736 |
| PARAM_VALUE | 1 | input | 0 |
| DATA_SOURCE | 1 | input | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->dst_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->src_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->value | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| LOCK2 | flags | ||
| LOCK2 | global &erst_lock | ||
| HALF_LOCKED2 | global &erst_dbg_mutex |
drivers/acpi/apei/erst.c __erst_read_from_storage() -> apei_exec_ctx_set_input()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7596537681779060736 |
| PARAM_VALUE | 1 | input | 0-18446744073709551614 |
| DATA_SOURCE | 1 | input | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->dst_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->ip | 0-u32max[c] |
| HOST_DATA | 0 | ctx->src_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->value | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| LOCK2 | flags | ||
| LOCK2 | global &erst_lock | ||
| HALF_LOCKED2 | global &erst_dbg_mutex |
drivers/acpi/apei/erst.c __erst_write_to_storage() -> apei_exec_ctx_set_input()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6356833495642083328 |
| PARAM_VALUE | 1 | input | 0 |
| DATA_SOURCE | 1 | input | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->dst_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->src_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->value | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| LOCK2 | flags | ||
| LOCK2 | global &erst_lock | ||
| HALF_LOCKED2 | global &erst_dbg_mutex |
drivers/acpi/apei/einj-core.c __einj_error_inject() -> apei_exec_ctx_set_input()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4662113308675567616 |
| PARAM_VALUE | 1 | input | 1-u32max |
| DATA_SOURCE | 1 | input | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->dst_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->src_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->value | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| USER_DATA | 1 | input | 4096-4294967294 |
| NO_OVERFLOW_SIMPLE | 1 | input | |
| LOCK2 | &attr->mutex | ||
| LOCK2 | global &einj_mutex | ||
| TYPE_LOCK | (struct simple_attr)->mutex |