Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/rtc/rtc-cmos.c use_hpet_alarm() -> is_hpet_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &rtc_lock
HALF_LOCKED2 irq

arch/x86/kernel/hpet.c hpet_mask_rtc_irq_bit() -> is_hpet_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtc_lock
HALF_LOCKED2 irq

arch/x86/kernel/hpet.c hpet_register_irq_handler() -> is_hpet_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/hpet.c hpet_rtc_timer_init() -> is_hpet_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtc_lock
HALF_LOCKED2 irq

arch/x86/kernel/hpet.c hpet_set_alarm_time() -> is_hpet_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
LOCK2 global &rtc_lock

arch/x86/kernel/hpet.c hpet_set_periodic_freq() -> is_hpet_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtc_lock
LOCK2 irq

arch/x86/kernel/hpet.c hpet_set_rtc_irq_bit() -> is_hpet_enabled()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtc_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

arch/x86/kernel/hpet.c hpet_unregister_irq_handler() -> is_hpet_enabled()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/tsc.c pit_hpet_ptimer_calibrate_cpu() -> is_hpet_enabled()

Type Parameter Key Value
HALF_LOCKED2 irq

arch/x86/kernel/tsc.c tsc_refine_calibration_work() -> is_hpet_enabled()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock