Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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