Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/acpi/apei/erst.c apei_exec_run() -> __apei_exec_run()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5736060918527582208,6356833495642083328,6633469932886319104,7247641544317763584,7596537681779060736,8383904491142385664 |
| PARAM_VALUE | 0 | ctx->ins_table | 7479908608661172224 |
| PARAM_VALUE | 0 | ctx->instructions | 19 |
| PARAM_VALUE | 1 | action | 4-10,13-16 |
| PARAM_VALUE | 2 | optional | 0 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | action | $1 |
| HARD_MAX | 1 | action | 16 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| USER_DATA | 0 | ctx->ip | 0-u32max |
| USER_DATA | 0 | ctx->value | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | ctx->var1 | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &erst_lock | ||
| HALF_LOCKED2 | global &erst_record_id_cache.lock |
drivers/acpi/apei/erst.c apei_exec_run_optional() -> __apei_exec_run()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5736060918527582208,6356833495642083328,7596537681779060736 |
| PARAM_VALUE | 0 | ctx->ins_table | 7479908608661172224 |
| PARAM_VALUE | 0 | ctx->instructions | 19 |
| PARAM_VALUE | 1 | action | 0-3 |
| PARAM_VALUE | 2 | optional | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | action | $1 |
| HARD_MAX | 1 | action | 3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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] |
| USER_DATA | 0 | ctx->ip | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | ctx->var1 | |
| LOCK2 | flags | ||
| LOCK2 | global &erst_lock | ||
| HALF_LOCKED2 | global &erst_record_id_cache.lock |
drivers/acpi/apei/einj-core.c apei_exec_run() -> __apei_exec_run()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4662113308675567616,7539553506501115904,8635816236212203520 |
| PARAM_VALUE | 0 | ctx->ins_table | 5934279382162964480 |
| PARAM_VALUE | 0 | ctx->instructions | 5 |
| PARAM_VALUE | 1 | action | 1-3,5-7,17,255 |
| PARAM_VALUE | 2 | optional | 0 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | action | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 | 1-u32max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| USER_DATA | 0 | ctx->ip | 0-u32max |
| USER_DATA | 0 | ctx->value | 4096-4294967294 |
| NO_OVERFLOW_SIMPLE | 0 | ctx->var1 | |
| LOCK2 | global &einj_mutex | ||
| HALF_LOCKED2 | &attr->mutex |
drivers/acpi/apei/einj-core.c apei_exec_run_optional() -> __apei_exec_run()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4662113308675567616 |
| PARAM_VALUE | 0 | ctx->ins_table | 5934279382162964480 |
| PARAM_VALUE | 0 | ctx->instructions | 5 |
| PARAM_VALUE | 1 | action | 0,4 |
| PARAM_VALUE | 2 | optional | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | action | $1 |
| HARD_MAX | 1 | action | 4 |
| 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 | 1-u32max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| USER_DATA | 0 | ctx->ip | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | ctx->var1 | |
| LOCK2 | &attr->mutex | ||
| LOCK2 | global &einj_mutex | ||
| TYPE_LOCK | (struct simple_attr)->mutex |