Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/joystick/walkera0701.c walkera0701_irq_handler() -> walkera0701_parse_frame()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->buf 4096-ptr_max
PARAM_VALUE 0 w->counter 24
PARAM_VALUE 0 w->timer.is_queued 0
BUF_SIZE 0 w s32min-(-2),1-s32max
BUF_SIZE 0 w s32min-(-2),1-s32max
CAPPED_DATA 0 w->timer.base 1
CAPPED_DATA 0 &w->timer 1
DATA_SOURCE 0 w $0
PARAM_COMPARE 0 &w->timer != $0->timer.base->running
BIT_INFO 0 w->irq_lasttime 0x0,0x7fffffffffffffff
BIT_INFO 0 w->irq_time 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->cad_lock
TYPE_LOCK (struct parport)->cad_lock