Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/apic.c calibrate_APIC_clock() -> lapic_cal_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 0
NOCHECK_CALL
LOCK2 irq

drivers/clocksource/timer-msc313e.c msc313e_timer_clkevt_irq() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

arch/x86/xen/time.c xen_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-ralink.c systick_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/bcm_kona_timer.c kona_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4633200980340219904
BUF_SIZE 0 dev 256
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-nxp-pit.c pit_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-meson6.c meson6_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

arch/x86/kernel/apic/apic.c local_apic_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
CONTAINER 0 -0+0 $(-1)
NOCHECK_CALL

kernel/time/tick-broadcast-hrtimer.c bc_handler() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 7598023531705262080
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/clocksource/timer-zevio.c zevio_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-mediatek.c mtk_gpt_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-mediatek.c mtk_syst_handler() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/asm9260_timer.c asm9260_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-loongson1-pwm.c ls1x_clockevent_isr() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-gxp.c gxp_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/sh_tmu.c sh_tmu_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/dw_apb_timer.c dw_apb_clockevent_irq() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/hyperv_timer.c hv_stimer0_isr() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/clocksource/timer-ti-dm.c omap_dm_timer_evt_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/numachip.c numachip_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
NOCHECK_CALL

drivers/clocksource/ingenic-sysost.c ingenic_ost_cevt_cb() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-imx-sysctr.c sysctr_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-cadence-ttc.c ttc_clock_event_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

kernel/time/tick-broadcast.c tick_handle_oneshot_broadcast() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 *(-0+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/tick-broadcast.c tick_handle_periodic_broadcast() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 *(-0+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/tick-broadcast.c tick_receive_broadcast() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/clocksource/timer-sun5i.c sun5i_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-davinci.c davinci_timer_irq_timer() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-atmel-st.c at91rm9200_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 5319728033778098176
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-atmel-st.c at91rm9200_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 5319728033778098176
PARAM_VALUE 0 dev->mult 0-s32max
PARAM_VALUE 0 dev->next_event_forced 0-s32max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/mxs_timer.c mxs_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-integrator-ap.c integrator_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-cs5535.c mfgpt_tick() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 2647834695075270656
PARAM_VALUE 0 dev->state_use_accessors 2-u32max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-fttmr010.c ast2600_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-fttmr010.c fttmr010_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-rtl-otto.c rttm_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-ixp4xx.c ixp4xx_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 256
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-fsl-ftm.c ftm_evt_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-digicolor.c digicolor_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-owl.c owl_timer1_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-econet-en751221.c cevt_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/em_sti.c em_sti_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/sh_cmt.c sh_cmt_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-goldfish.c goldfish_timer_irq() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 256
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/renesas-ostm.c ostm_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/ingenic-timer.c ingenic_per_cpu_event_handler() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/clocksource/timer-sprd.c sprd_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

arch/x86/kernel/time.c timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-sun4i.c sun4i_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-nxp-stm.c nxp_stm_module_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 256
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-pxa.c pxa_ost0_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-rda.c rda_ostimer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/samsung_pwm_timer.c samsung_clock_event_isr() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-stm32-lp.c stm32_clkevent_lp_irq_handler() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

arch/x86/kernel/hpet.c hpet_msi_interrupt_handler() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
BUF_SIZE 0 dev 256
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/sh_mtu2.c sh_mtu2_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-atmel-pit.c at91sam926x_pit_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev->state_use_accessors 2
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/jcore-pit.c jcore_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-tegra.c tegra_timer_isr() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/clps711x-timer.c clps711x_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-vt8500.c vt8500_timer_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-npcm7xx.c npcm7xx_timer0_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

arch/x86/platform/uv/uv_time.c uv_rtc_interrupt() -> (struct clock_event_device)->event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
CONTAINER 0 -0+0 $(-1)
NOCHECK_CALL

drivers/clocksource/bcm2835_timer.c bcm2835_time_interrupt() -> bcm2835_time_interrupt ptr event_handler()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->event_handler 1-u64max
CONTAINER 0 -0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags