Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/acpi/apei/apei-base.c apei_exec_write_register() -> __apei_exec_write_register()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->action 0-10,13-17,255
PARAM_VALUE 0 entry->instruction 0-18
CAPPED_DATA 0 entry->action 1
CAPPED_DATA 0 entry->instruction 1
DATA_SOURCE 0 entry $1
CONSTRAINT 0 entry <2977
HARD_MAX 0 entry->instruction 18
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0-u64max[c]
USER_DATA 1 val 0-u64max
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &einj_mutex
HALF_LOCKED2 global &erst_lock

drivers/acpi/apei/erst.c erst_exec_add_value() -> __apei_exec_write_register()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->action 0-10,13-17,255
PARAM_VALUE 0 entry->instruction 0-18
PARAM_VALUE 0 entry->register_region.access_width 1-4
PARAM_VALUE 0 entry->register_region.space_id 0-1
CAPPED_DATA 0 entry->action 1
CAPPED_DATA 0 entry->instruction 1
DATA_SOURCE 0 entry $1
CONSTRAINT 0 entry <2977
HARD_MAX 0 entry->instruction 18
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0-u64max[c]
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &einj_mutex
HALF_LOCKED2 global &erst_lock

drivers/acpi/apei/erst.c erst_exec_store_var1() -> __apei_exec_write_register()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->action 0-10,13-17,255
PARAM_VALUE 0 entry->instruction 0-18
CAPPED_DATA 0 entry->action 1
CAPPED_DATA 0 entry->instruction 1
DATA_SOURCE 0 entry $1
CONSTRAINT 0 entry <2977
HARD_MAX 0 entry->instruction 18
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0-u64max[c]
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &einj_mutex
HALF_LOCKED2 global &erst_lock

drivers/acpi/apei/erst.c erst_exec_subtract_value() -> __apei_exec_write_register()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->action 0-10,13-17,255
PARAM_VALUE 0 entry->instruction 0-18
PARAM_VALUE 0 entry->register_region.access_width 1-4
PARAM_VALUE 0 entry->register_region.space_id 0-1
CAPPED_DATA 0 entry->action 1
CAPPED_DATA 0 entry->instruction 1
DATA_SOURCE 0 entry $1
CONSTRAINT 0 entry <2977
HARD_MAX 0 entry->instruction 18
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0-u64max[c]
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 flags
HALF_LOCKED2 global &einj_mutex
HALF_LOCKED2 global &erst_lock