Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib8000.c dib8000_get_stats() -> dib8000_read_ber()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv 4096-ptr_max
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->bus_lock.dep_map->name 0-255
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.driver_data->adev->pm.bus_locked 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.driver_data->adev->pm.mutex.dep_map->name 0-255
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.driver_data->adev->pm.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.driver_data->mutex->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->devt 0-4294967295
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->id 0-4294967295
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.state_in_sysfs 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.state_initialized 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->kobj.uevent_suppress 0-1
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->links.status 0-4294967295
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->numa_node s32min-s32max
PARAM_VALUE 0 fe->demodulator_priv->i2c.adap->dev.parent->removable 0-4294967295
PARAM_VALUE 0 fe->demodulator_priv->i2c_buffer_lock.dep_map->name 0-255
PARAM_VALUE 0 fe->demodulator_priv->i2c_buffer_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 fe->demodulator_priv->i2c_buffer_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 fe->demodulator_priv->i2c_buffer_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 fe->demodulator_priv->msg->addr 0
PARAM_VALUE 0 fe->demodulator_priv->msg->buf 0
PARAM_VALUE 0 fe->demodulator_priv->msg->flags 0
PARAM_VALUE 0 fe->demodulator_priv->msg->len 0
PARAM_VALUE 0 fe->demodulator_priv->revision 0-u16max
PARAM_VALUE 1 ber 3311856295519604736
PARAM_VALUE 1 *ber 0-u16max
BUF_SIZE 0 fe (-1),64,128,176,280,392-s32max
BUF_SIZE 0 fe (-1),64,128,176,280,392-s32max
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fepriv->sem
HALF_LOCKED2 &pool->lock

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_handle_ioctl() -> (struct dvb_frontend_ops)->read_ber()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->frontend_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.read_ber 1-u64max
BUF_SIZE 0 fe 472,1296
BUF_SIZE 0 fe 472,1296
BUF_SIZE 1 ber (-1),128-16383
DATA_SOURCE 1 ber $2
CONTAINER 0 -280-8+0 $(-1)
USER_DATA 1 *ber 0-u32max
USER_PTR 1 ber
LOCK2 &fepriv->sem
TYPE_LOCK (struct dvb_frontend_private)->sem

drivers/media/usb/dvb-usb/technisat-usb2.c technisat_usb2_green_led_control() -> (struct dvb_frontend_ops)->read_ber()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 1 ber 1559781223622914048
CONTAINER 0 -280-8+0 $(-1)
HALF_LOCKED2 &pool->lock

drivers/media/usb/dvb-usb-v2/lmedm04.c dm04_read_ber() -> (struct lme2510_state)->fe_read_ber()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
BUF_SIZE 0 fe (-1),176,392-s32max
BUF_SIZE 0 fe (-1),176,392-s32max
BUF_SIZE 1 ber (-1),128-16383
BUF_SIZE 1 ber (-1),128-16383
DATA_SOURCE 0 fe $0
DATA_SOURCE 1 ber $1
USER_DATA 1 *ber 0-u32max
USER_PTR 1 ber
HALF_LOCKED2 &fepriv->sem