Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_get_event() -> dvb_frontend_test_event()

Type Parameter Key Value
PARAM_VALUE 0 fepriv->events.overflow 0
PARAM_VALUE 0 fepriv->events.wait_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fepriv->sem.first_waiter->up 0-1
PARAM_VALUE 1 events 4096-ptr_max
PARAM_VALUE 1 events->overflow 0
PARAM_VALUE 1 events->wait_queue.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 fepriv 968
BUF_SIZE 1 events 576
CAPPED_DATA 1 events->eventr 1
CAPPED_DATA 1 events->eventw 1
PARAM_COMPARE 0 &fepriv->events == $1
PARAM_COMPARE 1 events->eventr == $1->eventw
LOCK2 &fepriv->sem
TYPE_LOCK (struct dvb_frontend_private)->sem

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_get_event() -> dvb_frontend_test_event()

Type Parameter Key Value
PARAM_VALUE 0 fepriv 4096-ptr_max
PARAM_VALUE 0 fepriv->events.overflow 0
PARAM_VALUE 0 fepriv->events.wait_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 fepriv->sem.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 fepriv->sem.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 fepriv->sem.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 fepriv->sem.first_waiter->up 0
PARAM_VALUE 0 fepriv->sem.lock.dep_map->name 0-255
PARAM_VALUE 0 fepriv->sem.lock.owner (-1)
PARAM_VALUE 0 fepriv->sem.lock.owner_cpu u32max
PARAM_VALUE 1 events 4096-ptr_max
PARAM_VALUE 1 events->overflow 0
PARAM_VALUE 1 events->wait_queue.lock.rlock.dep_map->name 0-255
BUF_SIZE 0 fepriv 968
BUF_SIZE 1 events 576
CAPPED_DATA 1 events->eventr 1
CAPPED_DATA 1 events->eventw 1
PARAM_COMPARE 0 &fepriv->events == $1
PARAM_COMPARE 1 events->eventr == $1->eventw
LOCK2 &fepriv->sem
TYPE_LOCK (struct dvb_frontend_private)->sem