Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 trigger_tab 4096-ptr_max
BUF_SIZE 0 trigger_tab 16-4096
BUF_SIZE 0 trigger_tab 16-4096
DATA_SOURCE 0 trigger_tab r _kmalloc_noprof
DATA_SOURCE 1 param1 $3
DATA_SOURCE 2 param2 $4
HOST_DATA 0 trigger_tab->entry_count 0-u32max
HOST_DATA 0 trigger_tab->header_size 0-u32max
HOST_DATA 0 trigger_tab->revision 0-u32max
HOST_DATA 0 trigger_tab->table_size 0-u32max
HOST_DATA 0 *trigger_tab 0-u64max
LOCK2 &attr->mutex
LOCK2 global &einj_mutex
TYPE_LOCK (struct simple_attr)->mutex