Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/tick-common.c tick_setup_device() -> tick_device_uses_broadcast()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->features 2-u32max
PARAM_VALUE 0 dev->mult 1
PARAM_VALUE 0 dev->next_event s64max
PARAM_VALUE 0 dev->next_event_forced 0
PARAM_VALUE 0 dev->owner 0,4096-ptr_max
PARAM_VALUE 0 dev->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 dev->state_use_accessors 0-4
PARAM_VALUE 1 cpu 0
BUF_SIZE 0 dev->cpumask (-1),1024
BUF_SIZE 0 dev->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 dev $1
DATA_SOURCE 1 cpu $2
STR_LEN 0 dev->name (-1),3,5,7,13-15,18-19
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &clockevents_lock
HALF_LOCKED2 flags