Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/ras/amd/fmpm.c update_record_on_storage() -> erst_write()

Type Parameter Key Value
PARAM_VALUE 0 record 4096-ptr_max
HALF_LOCKED2 global &fmpm_update_mutex

drivers/acpi/apei/erst-dbg.c erst_dbg_write() -> erst_write()

Type Parameter Key Value
PARAM_VALUE 0 record 4096-ptr_max
BUF_SIZE 0 record 1-16384,u64max
CAPABLE 0 21
USER_DATA 0 record->error_severity 0-u32max[u]
USER_DATA 0 record->flags 0-u32max[u]
USER_DATA 0 record->persistence_information 0-u64max[u]
USER_DATA 0 record->record_id 0-u64max[u]
USER_DATA 0 record->record_length 0-u32max[u]
USER_DATA 0 record->revision 0-u16max[u]
USER_DATA 0 record->section_count 0-u16max[u]
USER_DATA 0 record->signature_end 0-u32max[u]
USER_DATA 0 record->timestamp 0-u64max[u]
USER_DATA 0 record->validation_bits 0-u32max[u]
USER_PTR 0 record
LOCK2 global &erst_dbg_mutex

arch/x86/kernel/cpu/mce/apei.c apei_write_mce() -> erst_write()

Type Parameter Key Value
PARAM_VALUE 0 record 2233419340972851200
PARAM_VALUE 0 record->error_severity 1
PARAM_VALUE 0 record->flags 2
PARAM_VALUE 0 record->record_length 344
PARAM_VALUE 0 record->revision 256
PARAM_VALUE 0 record->section_count 1
PARAM_VALUE 0 record->signature_end u32max
MEM_ZERO 0 record
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

drivers/acpi/apei/erst.c erst_writer() -> erst_write()

Type Parameter Key Value
PARAM_VALUE 0 record 4096-ptr_max
PARAM_VALUE 0 record->error_severity 1
PARAM_VALUE 0 record->flags 2
PARAM_VALUE 0 record->revision 256
PARAM_VALUE 0 record->section_count 1
PARAM_VALUE 0 record->signature_end u32max
PARAM_VALUE 0 record->validation_bits 2
MEM_ZERO 0 record
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 record->record_length 217-1000000216[c]
HALF_LOCKED2 flags
HALF_LOCKED2 global &pmsg_lock
HALF_LOCKED2 global &psinfo->buf_lock
HALF_LOCKED2 rcu_read