Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_add_event() -> has_get_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
BUF_SIZE 0 fe (-1),472,1296
BUF_SIZE 0 fe (-1),472,1296
DATA_SOURCE 0 fe $0
HALF_LOCKED2 &fepriv->sem