Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/acpi/apei/apei-base.c
- drivers/acpi/apei/einj-core.c, line 159
- drivers/acpi/apei/erst.c, line 320
Smatch caller information:
drivers/acpi/apei/apei-base.c apei_exec_write_register_value() -> apei_exec_write_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->action_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->entries | 1-u32max |
| PARAM_VALUE | 0 | ctx->ins_table | 5934279382162964480,7479908608661172224 |
| PARAM_VALUE | 0 | ctx->instructions | 5,19 |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | entry->action | 0-10,13-17,255 |
| PARAM_VALUE | 1 | entry->instruction | 0-18 |
| CAPPED_DATA | 0 | ctx->ip | 1 |
| CAPPED_DATA | 1 | entry->action | 1 |
| CAPPED_DATA | 1 | entry->instruction | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| DATA_SOURCE | 1 | entry | $1 |
| CONSTRAINT | 1 | entry | <2977 |
| HARD_MAX | 0 | ctx->instructions | 19 |
| HARD_MAX | 1 | entry->instruction | 18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | ctx->dst_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->src_base | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var1 | 0-u64max[c] |
| HOST_DATA | 0 | ctx->var2 | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ctx->var2 | |
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &einj_mutex | ||
| HALF_LOCKED2 | global &erst_lock |
drivers/acpi/apei/apei-base.c __apei_exec_run() -> __apei_exec_run ptr run()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->action_table | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->entries | 1-u32max |
| PARAM_VALUE | 0 | ctx->ins_table | 5934279382162964480,7479908608661172224 |
| PARAM_VALUE | 0 | ctx->instructions | 5,19 |
| PARAM_VALUE | 1 | entry | 4096-ptr_max |
| PARAM_VALUE | 1 | entry->action | 0-10,13-17,255 |
| PARAM_VALUE | 1 | entry->instruction | 0-18 |
| CAPPED_DATA | 0 | ctx->ip | 1 |
| CAPPED_DATA | 1 | entry->action | 1 |
| CAPPED_DATA | 1 | entry->instruction | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| PARAM_COMPARE | 0 | ctx->instructions | > $1->instruction |
| CONSTRAINT | 1 | entry->instruction | <2977 |
| HARD_MAX | 0 | ctx->instructions | 19 |
| HARD_MAX | 1 | entry->instruction | 18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 | 0 | ctx->value | 0-u64max |
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &einj_mutex | ||
| HALF_LOCKED2 | global &erst_lock |