Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/pstore/pmsg.c write_pmsg() -> (struct pstore_info)->write_user()

Type Parameter Key Value
PARAM_VALUE 0 record 7746008873074057216
PARAM_VALUE 0 record->buf 0
PARAM_VALUE 0 record->compressed 0
PARAM_VALUE 0 record->count 0
PARAM_VALUE 0 record->ecc_notice_size 0
PARAM_VALUE 0 record->id 0
PARAM_VALUE 0 record->part 0
PARAM_VALUE 0 record->priv 0
PARAM_VALUE 0 record->reason 0
PARAM_VALUE 0 record->size 1-1000000000,2147479552
PARAM_VALUE 0 record->type 7
CAPPED_DATA 1 buf 1
DATA_SOURCE 1 buf $1
MEM_ZERO 0 record
USER_DATA 0 record->size 1-1000000000
USER_DATA 1 buf 0-u64max[c]
LOCK2 global &pmsg_lock