Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timer.c add_timer_on() -> get_timer_cpu_base()

Type Parameter Key Value
PARAM_VALUE 0 tflags 1048576-5242878
CAPPED_DATA 1 cpu 1
DATA_SOURCE 1 cpu $1
BIT_INFO 0 tflags 0x100000,0x3fffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clocksource_mutex
HALF_LOCKED2 global &vector_lock
HALF_LOCKED2 global &watchdog_lock
HALF_LOCKED2 irq_flags

kernel/time/timer.c get_timer_base() -> get_timer_cpu_base()

Type Parameter Key Value
PARAM_VALUE 0 tflags 0-5242878
PARAM_VALUE 1 cpu 0-262142
DATA_SOURCE 0 tflags $0
BIT_INFO 0 tflags 0x0,0x7bffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING