Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clocksource/timer-nxp-pit.c pit_set_next_event() -> ced_to_pit()

Type Parameter Key Value
PARAM_VALUE 0 ced 4096-ptr_max
BUF_SIZE 0 ced (-1)-s32max
BUF_SIZE 0 ced (-1)-s32max
BUF_SIZE 0 ced->cpumask (-1),1024
BUF_SIZE 0 ced->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 ced $1
STR_LEN 0 ced (-1),8-9,11-29,31-34,38
STR_LEN 0 ced (-1),8-9,11-29,31-34,38
STR_LEN 0 ced->name (-1),3,5,7,13-15,18-19
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &tick_broadcast_lock

drivers/clocksource/timer-nxp-pit.c pit_set_periodic() -> ced_to_pit()

Type Parameter Key Value
PARAM_VALUE 0 ced 4096-ptr_max
BUF_SIZE 0 ced (-1)-s32max
BUF_SIZE 0 ced (-1)-s32max
BUF_SIZE 0 ced->cpumask (-1),1024
BUF_SIZE 0 ced->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 ced $0
STR_LEN 0 ced (-1),8-9,11-29,31-34,38
STR_LEN 0 ced (-1),8-9,11-29,31-34,38
STR_LEN 0 ced->name (-1),3,5,7,13-15,18-19
BIT_INFO 0 ced->features 0x1,0xffffffef
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &tick_broadcast_lock

drivers/clocksource/timer-nxp-pit.c pit_shutdown() -> ced_to_pit()

Type Parameter Key Value
PARAM_VALUE 0 ced 4096-ptr_max
BUF_SIZE 0 ced (-1)-s32max
BUF_SIZE 0 ced (-1)-s32max
BUF_SIZE 0 ced->cpumask (-1),1024
BUF_SIZE 0 ced->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 ced $0
STR_LEN 0 ced (-1),8-9,11-29,31-34,38
STR_LEN 0 ced (-1),8-9,11-29,31-34,38
STR_LEN 0 ced->name (-1),3,5,7,13-15,18-19
BIT_INFO 0 ced->features 0x0,0xffffffef
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

drivers/clocksource/timer-nxp-pit.c pit_timer_interrupt() -> ced_to_pit()

Type Parameter Key Value
DATA_SOURCE 0 ced $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags