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 get_saved_records() -> erst_read_record()

Type Parameter Key Value
PARAM_VALUE 0 record_id 0-18446744073709551614
PARAM_VALUE 1 record 4096-ptr_max
PARAM_VALUE 1 record->record_length 0
PARAM_VALUE 2 buflen 8416
PARAM_VALUE 3 recordlen 256
PARAM_VALUE 4 creatorid 4096-ptr_max
MEM_ZERO 1 record
UNITS 2 buflen unit_byte
UNITS 3 recordlen unit_byte

drivers/acpi/apei/erst-dbg.c erst_dbg_read() -> erst_read_record()

Type Parameter Key Value
PARAM_VALUE 0 record_id 0-18446744073709551614
PARAM_VALUE 1 record 0,4096-ptr_max
PARAM_VALUE 2 buflen 0-16384
PARAM_VALUE 3 recordlen 0-16384
PARAM_VALUE 4 creatorid 0
BUF_SIZE 1 record 1-16384,u64max
CAPPED_DATA 2 buflen 1
CAPPED_DATA 3 recordlen 1
BYTE_COUNT 1 ==record2 8050
LOCK2 global &erst_dbg_mutex

arch/x86/kernel/cpu/mce/apei.c apei_read_mce() -> erst_read_record()

Type Parameter Key Value
PARAM_VALUE 0 record_id 0-18446744073709551614
PARAM_VALUE 1 record 1398160305071755264
PARAM_VALUE 2 buflen 344
PARAM_VALUE 3 recordlen 344
PARAM_VALUE 4 creatorid 4096-ptr_max
UNITS 2 buflen unit_byte
UNITS 3 recordlen unit_byte
LOCK2 global &mce_chrdev_read_mutex

drivers/acpi/apei/erst.c erst_reader() -> erst_read_record()

Type Parameter Key Value
PARAM_VALUE 0 record_id 0-18446744073709551614
PARAM_VALUE 1 record 4096-ptr_max
PARAM_VALUE 2 buflen 216-4000000
PARAM_VALUE 3 recordlen 216
PARAM_VALUE 4 creatorid 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 buflen unit_byte
UNITS 3 recordlen unit_byte
LOCK2 &psi->read_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &efivars_lock
HALF_LOCKED2 global &psinfo_lock
TYPE_LOCK (struct pstore_info)->read_mutex