Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/intel/pmt/class.c intel_pmt_dev_create() -> intel_pmt_dev_register()

Type Parameter Key Value
PARAM_VALUE 0 entry->disc_table 0,4096-ptr_max
PARAM_VALUE 0 entry->header.access_type 2-3
PARAM_VALUE 0 entry->header.telem_type 0-15
PARAM_VALUE 0 entry->pcidev 4096-ptr_max
PARAM_VALUE 0 entry->size 0-u32max
PARAM_VALUE 0 *entry->disc_header 0-4294967295
PARAM_VALUE 1 ns 741191805752967168,8684007299402301440
PARAM_VALUE 1 ns->pmt_post_decode 0,9189594021373788160
PARAM_VALUE 1 ns->pmt_pre_decode 0,3068123641170939904
PARAM_VALUE 2 parent 4096-ptr_max
BUF_SIZE 0 entry (-1),224
BUF_SIZE 0 entry (-1),224
BUF_SIZE 2 parent 1616
DATA_SOURCE 0 entry $0
DATA_SOURCE 1 ns $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 entry->base_addr 0-u64max[c]
HOST_DATA 0 entry->guid 0-u32max
HOST_DATA 0 entry->header.access_type 2-3
HOST_DATA 0 entry->header.base_offset 0-u32max
HOST_DATA 0 entry->header.guid 0-u32max
HOST_DATA 0 entry->header.size 0-u32max
HOST_DATA 0 entry->header.telem_type 0-15
HOST_DATA 0 entry->size 0-u32max
HOST_DATA 0 *entry->disc_header 0-255
HALF_LOCKED2 global &ep_lock