Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/time/clockevents.c clockevents_replace() -> tick_check_replacement()

Type Parameter Key Value
PARAM_VALUE 0 curdev 0,4096-ptr_max
PARAM_VALUE 0 curdev->features 2-u32max
PARAM_VALUE 0 curdev->owner 0,4096-ptr_max
PARAM_VALUE 0 curdev->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 curdev->state_use_accessors 0
PARAM_VALUE 1 newdev 4096-ptr_max
PARAM_VALUE 1 newdev->state_use_accessors 0
CAPPED_DATA 1 &newdev->list 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &clockevents_lock
HALF_LOCKED2 flags

kernel/time/tick-common.c tick_check_new_device() -> tick_check_replacement()

Type Parameter Key Value
PARAM_VALUE 1 newdev 4096-ptr_max
PARAM_VALUE 1 newdev->list.next 4096-ptr_max
PARAM_VALUE 1 newdev->list.prev 4096-ptr_max
BUF_SIZE 1 newdev (-1),256
BUF_SIZE 1 newdev (-1),256
BUF_SIZE 1 newdev->cpumask (-1),1024
BUF_SIZE 1 newdev->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 1 newdev $0
STR_LEN 1 newdev->name (-1),5,7,13-15,18-19
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &clockevents_lock