Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/accel/amdxdna/amdxdna_mailbox.c xdna_mailbox_send_msg() -> mailbox_send_msg()

Type Parameter Key Value
PARAM_VALUE 0 mb_chann 4096-ptr_max
PARAM_VALUE 0 mb_chann->bad_state 0
PARAM_VALUE 0 mb_chann->chan_xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 mb_msg 4096-ptr_max
PARAM_VALUE 1 mb_msg->handle 4096-ptr_max
PARAM_VALUE 1 mb_msg->notify_cb 0,60427180934774784,993269076001656832,1287314210364764160,3900409841092300800,4627027949597368320,8592806793543159808
PARAM_VALUE 1 mb_msg->pkg.header.id 0,16777216-s32max
PARAM_VALUE 1 mb_msg->pkg.header.opcode 2-4,7,12-20,24,257-259,262,264,266-268,275-277,279,65539,65549,131073-131074,196609-196612,196614
PARAM_VALUE 1 mb_msg->pkg.header.sz_ver 0-16777215
PARAM_VALUE 1 mb_msg->pkg.header.total_size 4,8,12,16,20,24,28,80,132,160
PARAM_VALUE 1 mb_msg->pkg_size 20,24,28,32,36,40,44,96,148,176
BUF_SIZE 0 mb_chann (-1),240
BUF_SIZE 0 mb_chann (-1),240
BUF_SIZE 1 mb_msg 60,64,68,72,76,80,84,136,188,216
BUF_SIZE 1 mb_msg 60,64,68,72,76,80,84,136,188,216
BUF_SIZE 1 mb_msg->handle (-1),128
CAPPED_DATA 1 mb_msg 1
CAPPED_DATA 1 mb_msg->pkg_size 1
DATA_SOURCE 0 mb_chann $0
DATA_SOURCE 1 mb_msg r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING