Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sun/sunhme.c happy_meal_timer() -> try_next_permutation()

Type Parameter Key Value
PARAM_VALUE 0 hp 4096-ptr_max
PARAM_VALUE 0 hp->happy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hp->timer_state 2
PARAM_VALUE 0 hp->timer_ticks 4-u32max
PARAM_VALUE 0 *hp->dev->name 0-255
FUZZY_MAX 0 hp->timer_ticks 4
BIT_INFO 0 hp->sw_bmsr 0x0,0xfffb
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hp->sw_bmsr 0-u16max
HOST_DATA 0 hp->sw_csconfig 0-u16max
LOCK2 irq
LOCK2 0 &hp->happy_lock
TYPE_LOCK (struct happy_meal)->happy_lock