Documented in 1 files:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/media/usb/uvc/uvc_driver.c uvc_unregister_video() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

sound/usb/media.c snd_media_device_create() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

sound/usb/media.c snd_media_mixer_delete() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

sound/usb/media.c snd_media_mixer_delete() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

sound/usb/media.c snd_media_stream_delete() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/media/usb/au0828/au0828-core.c au0828_media_device_register() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/au0828/au0828-core.c au0828_unregister_media_device() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/media/test-drivers/visl/visl-core.c visl_remove() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/media/mc/mc-device.c media_device_unregister() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mdev->graph_mutex
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &adap->dvb_adap.mdev_lock
HALF_LOCKED2 global &list_lock
HALF_LOCKED2 global &media_device_lock
TYPE_LOCK (struct media_device)->graph_mutex

drivers/staging/media/sunxi/cedrus/cedrus.c cedrus_remove() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/media/mc/mc-devnode.c __media_ioctl() -> media_devnode_is_registered()

Type Parameter Key Value
BUF_SIZE 0 devnode s32min-(-2),1-s32max
BUF_SIZE 0 devnode s32min-(-2),1-s32max

drivers/media/mc/mc-devnode.c media_devnode_unregister_prepare() -> media_devnode_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 devnode 4096-ptr_max
BUF_SIZE 0 devnode (-1),1952
BUF_SIZE 0 devnode (-1),1952
BUF_SIZE 0 devnode->fops (-1),64
BUF_SIZE 0 devnode->parent (-1),1616
DATA_SOURCE 0 devnode $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 devnode->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 devnode->media_dev->hw_revision 0-u32max
NO_OVERFLOW_SIMPLE 0 devnode->cdev.count
HALF_LOCKED2 &mdev->graph_mutex
HALF_LOCKED2 global &list_lock

drivers/media/mc/mc-devnode.c media_open() -> media_devnode_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 devnode 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &media_devnode_lock

drivers/media/mc/mc-devnode.c media_poll() -> media_devnode_is_registered()

Type Parameter Key Value
BUF_SIZE 0 devnode s32min-(-2),1-s32max
BUF_SIZE 0 devnode s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/media/mc/mc-devnode.c media_read() -> media_devnode_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 devnode 4096-ptr_max
BUF_SIZE 0 devnode s32min-(-2),1-s32max
BUF_SIZE 0 devnode s32min-(-2),1-s32max

drivers/media/mc/mc-devnode.c media_write() -> media_devnode_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 devnode 4096-ptr_max
BUF_SIZE 0 devnode s32min-(-2),1-s32max
BUF_SIZE 0 devnode s32min-(-2),1-s32max

drivers/media/platform/mediatek/vcodec/decoder/mtk_vcodec_dec_drv.c mtk_vcodec_dec_remove() -> media_devnode_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex