Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rapidio/devices/rio_mport_cdev.c rio_mport_get_outbound_mapping() -> rio_mport_create_outbound_mapping()

Type Parameter Key Value
PARAM_VALUE 0 md->buf_mutex.dep_map->name 0-255
PARAM_VALUE 0 md->buf_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 md->buf_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 md->buf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 md->buf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 md->buf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 md->buf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 filp 4096-ptr_max
PARAM_VALUE 1 filp->f_path.dentry 4096-ptr_max
PARAM_VALUE 1 filp->private_data 4096-ptr_max
PARAM_VALUE 5 paddr 3148657756410216448
CAPPED_DATA 0 &md->buf_mutex 1
CAPPED_DATA 0 &md->mappings 1
DATA_SOURCE 0 md $0
DATA_SOURCE 1 filp $1
DATA_SOURCE 2 rioid $2
DATA_SOURCE 3 raddr $3
DATA_SOURCE 4 size $4
DATA_SOURCE 5 paddr $5
USER_DATA 2 rioid 0-u16max
USER_DATA 3 raddr 0-u64max
USER_DATA 4 size 0-u32max
UNITS 3 raddr unit_byte
UNITS 4 size unit_byte
LOCK2 0 &md->buf_mutex
TYPE_LOCK (struct mport_dev)->buf_mutex