Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/xen/xen_snd_front_alsa.c alsa_hw_params() -> xen_front_pgdir_shbuf_map()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->backend_map_handles 0
PARAM_VALUE 0 buf->grefs 0
PARAM_VALUE 0 buf->num_grefs 0
PARAM_VALUE 0 buf->num_pages 0
PARAM_VALUE 0 buf->ops 0
PARAM_VALUE 0 buf->pages 0
PARAM_VALUE 0 buf->xb_dev 0
MEM_ZERO 0 buf
RX_PATH
TASK_NOT_RUNNING
LOCK2 &runtime->buffer_mutex
TYPE_LOCK (struct snd_pcm_runtime)->buffer_mutex

drivers/gpu/drm/xen/xen_drm_front.c xen_drm_front_dbuf_create() -> xen_front_pgdir_shbuf_map()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 0 buf->grefs 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &evtchnl->u.req.req_io_lock
HALF_LOCKED2 &dev->object_name_lock
HALF_LOCKED2 &file_priv->prime.lock