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_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5736060918527582208
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 9
PREEMPT_ADD
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]
USER_DATA 0 ctx->value 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_clear_from_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5736060918527582208
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 5
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
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_clear_from_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5736060918527582208
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 6
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
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_clear_from_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5736060918527582208
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 7
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
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_get_next_record_id() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8383904491142385664
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &erst_lock
LOCK2 global &erst_record_id_cache.lock
HALF_LOCKED2 &psi->read_mutex
HALF_LOCKED2 global &erst_dbg_mutex
HALF_LOCKED2 global &mce_chrdev_read_mutex
TYPE_LOCK (struct erst_record_id_cache)->lock

drivers/acpi/apei/erst.c __erst_get_record_count() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7247641544317763584
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 10
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &erst_lock

drivers/acpi/apei/erst.c __erst_read_from_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7596537681779060736
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 0 ctx->value 0
PARAM_VALUE 1 action 4
PREEMPT_ADD
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]
LOCK2 flags
LOCK2 global &erst_lock
HALF_LOCKED2 global &erst_dbg_mutex

drivers/acpi/apei/erst.c __erst_read_from_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7596537681779060736
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 0 ctx->value 0-18446744073709551614
PARAM_VALUE 1 action 9
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->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_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7596537681779060736
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 5
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-18446744073709551614[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_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7596537681779060736
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 6
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-18446744073709551614[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_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7596537681779060736
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 0 ctx->value 0
PARAM_VALUE 1 action 7
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[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_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6356833495642083328
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 0 ctx->value 0
PARAM_VALUE 1 action 4
PREEMPT_ADD
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]
LOCK2 flags
LOCK2 global &erst_lock
HALF_LOCKED2 global &erst_dbg_mutex

drivers/acpi/apei/erst.c __erst_write_to_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6356833495642083328
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 5
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]
LOCK2 flags
LOCK2 global &erst_lock
HALF_LOCKED2 global &erst_dbg_mutex

drivers/acpi/apei/erst.c __erst_write_to_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6356833495642083328
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 6
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]
LOCK2 flags
LOCK2 global &erst_lock
HALF_LOCKED2 global &erst_dbg_mutex

drivers/acpi/apei/erst.c __erst_write_to_storage() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6356833495642083328
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 0 ctx->value 0
PARAM_VALUE 1 action 7
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[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_get_erange() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6633469932886319104
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 13

drivers/acpi/apei/erst.c erst_get_erange() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6633469932886319104
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 14
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]

drivers/acpi/apei/erst.c erst_get_erange() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6633469932886319104
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 15
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]

drivers/acpi/apei/erst.c erst_get_erange() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6633469932886319104
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 7479908608661172224
PARAM_VALUE 0 ctx->instructions 19
PARAM_VALUE 1 action 16
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]

drivers/acpi/apei/einj-core.c __einj_error_inject() -> 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 0 ctx->value 1-u32max
PARAM_VALUE 1 action 2
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]
USER_DATA 0 ctx->value 4096-4294967294
NO_OVERFLOW_SIMPLE 0 ctx->value
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c __einj_error_inject() -> 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 5
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->value
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c __einj_error_inject() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4662113308675567616
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 5934279382162964480
PARAM_VALUE 0 ctx->instructions 5
PARAM_VALUE 1 action 6
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->value
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c __einj_error_inject() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4662113308675567616
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 5934279382162964480
PARAM_VALUE 0 ctx->instructions 5
PARAM_VALUE 1 action 7
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->value
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c __einj_error_inject() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4662113308675567616
PARAM_VALUE 0 ctx->entries 1-u32max
PARAM_VALUE 0 ctx->ins_table 5934279382162964480
PARAM_VALUE 0 ctx->instructions 5
PARAM_VALUE 0 ctx->value 3-u32max
PARAM_VALUE 1 action 1
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 3-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->value
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c __einj_error_trigger() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7539553506501115904
PARAM_VALUE 0 ctx->entries 1-102
PARAM_VALUE 0 ctx->ins_table 5934279382162964480
PARAM_VALUE 0 ctx->instructions 5
PARAM_VALUE 1 action 255
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c __einj_get_available_error_type() -> apei_exec_run()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8635816236212203520
PARAM_VALUE 0 ctx->ins_table 5934279382162964480
PARAM_VALUE 0 ctx->instructions 5
PARAM_VALUE 1 action 3,17
DATA_SOURCE 1 action $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &einj_mutex
HALF_LOCKED2 &m->lock