Open Menu /

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() -> dtv_property_cache_sync()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dtv_property_cache.delivery_system 1-u32max
PARAM_VALUE 1 c 4096-ptr_max
BUF_SIZE 0 fe 472,1296
BUF_SIZE 0 fe 472,1296
BUF_SIZE 1 c 456
BUF_SIZE 2 p (-1),128-16383
DATA_SOURCE 2 p $2
PARAM_COMPARE 0 &fe->dtv_property_cache == $1
USER_DATA 2 p->frequency 0-u32max[u]
USER_DATA 2 p->inversion 0-u32max[u]
USER_DATA 2 p->u.ofdm.bandwidth 0-u32max[u]
USER_DATA 2 p->u.ofdm.code_rate_HP 0-u32max[u]
USER_DATA 2 p->u.ofdm.code_rate_LP 0-u32max[u]
USER_DATA 2 p->u.ofdm.constellation 0-u32max[u]
USER_DATA 2 p->u.ofdm.guard_interval 0-u32max[u]
USER_DATA 2 p->u.ofdm.hierarchy_information 0-u32max[u]
USER_DATA 2 p->u.ofdm.transmission_mode 0-u32max[u]
USER_DATA 2 p->u.qam.fec_inner 0-u32max[u]
USER_DATA 2 p->u.qam.modulation 0-u32max[u]
USER_DATA 2 p->u.qam.symbol_rate 0-u32max[u]
USER_DATA 2 p->u.qpsk.fec_inner 0-u32max[u]
USER_DATA 2 p->u.qpsk.symbol_rate 0-u32max[u]
USER_DATA 2 p->u.vsb.modulation 0-u32max[u]
USER_PTR 2 p
LOCK2 &fepriv->sem
TYPE_LOCK (struct dvb_frontend_private)->sem