Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/clocksource/timer-davinci.c davinci_clockevent_set_next_event_cmp() -> davinci_clockevent_write()

Type Parameter Key Value
PARAM_VALUE 0 clockevent 4096-ptr_max
DATA_SOURCE 0 clockevent r to_davinci_clockevent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

drivers/clocksource/timer-davinci.c davinci_clockevent_set_next_event_std() -> davinci_clockevent_write()

Type Parameter Key Value
PARAM_VALUE 0 clockevent 4096-ptr_max
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 val 0
DATA_SOURCE 0 clockevent r to_davinci_clockevent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

drivers/clocksource/timer-davinci.c davinci_clockevent_set_next_event_std() -> davinci_clockevent_write()

Type Parameter Key Value
PARAM_VALUE 0 clockevent 4096-ptr_max
PARAM_VALUE 1 reg 24
DATA_SOURCE 0 clockevent r to_davinci_clockevent
DATA_SOURCE 2 val $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq

drivers/clocksource/timer-davinci.c davinci_clockevent_set_oneshot() -> davinci_clockevent_write()

Type Parameter Key Value
PARAM_VALUE 0 clockevent 4096-ptr_max
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 val 0
DATA_SOURCE 0 clockevent r to_davinci_clockevent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &clockevents_lock
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 irq