Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

arch/x86/kernel/cpu/mshyperv.c ms_hyperv_init_platform() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 5078297313405542400
BUF_SIZE 0 reason 19
STR_LEN 0 reason 18
TERMINATED 0 reason 1
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/process.c arch_post_acpi_subsys_init() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 6022722551729582080
BUF_SIZE 0 reason 20
STR_LEN 0 reason 19
TERMINATED 0 reason 1
NOCHECK_CALL

drivers/acpi/acpi_pad.c power_saving_thread() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 8228455566905061376
BUF_SIZE 0 reason 18
STR_LEN 0 reason 17
TERMINATED 0 reason 1
NOCHECK_CALL

drivers/idle/intel_idle.c intel_idle_init_cstates_acpi_cst() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 8228455566905061376
BUF_SIZE 0 reason 18
STR_LEN 0 reason 17
TERMINATED 0 reason 1
NOCHECK_CALL

drivers/idle/intel_idle.c intel_idle_init_cstates_acpi_lpi() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 8228455566905061376
BUF_SIZE 0 reason 18
STR_LEN 0 reason 17
TERMINATED 0 reason 1
NOCHECK_CALL

drivers/idle/intel_idle.c intel_idle_verify_cstate() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 497764516439089152
BUF_SIZE 0 reason 40
STR_LEN 0 reason 39
TERMINATED 0 reason 1
NOCHECK_CALL

arch/x86/kvm/x86.c kvm_arch_vcpu_load() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 1897548260898836480
BUF_SIZE 0 reason 29
STR_LEN 0 reason 28
TERMINATED 0 reason 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_uv_x.c uv_tsc_check_sync() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 8183758364129218560
BUF_SIZE 0 reason 8
STR_LEN 0 reason 7
TERMINATED 0 reason 1
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/tsc.c notsc_setup() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 3040280270101729280
BUF_SIZE 0 reason 21
STR_LEN 0 reason 20
TERMINATED 0 reason 1
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/tsc.c time_cpufreq_notifier() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 4803501325453291520
BUF_SIZE 0 reason 23
STR_LEN 0 reason 22
TERMINATED 0 reason 1
NOCHECK_CALL

arch/x86/kernel/tsc.c time_cpufreq_notifier() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 3390678466214289408
BUF_SIZE 0 reason 16
STR_LEN 0 reason 15
TERMINATED 0 reason 1
NOCHECK_CALL

arch/x86/kernel/tsc.c tsc_init() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 9203708784759279616
BUF_SIZE 0 reason 28
STR_LEN 0 reason 27
TERMINATED 0 reason 1
NOCHECK_CALL

arch/x86/kernel/tsc.c tsc_init() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 583279056437813248
BUF_SIZE 0 reason 20
STR_LEN 0 reason 19
TERMINATED 0 reason 1
NOCHECK_CALL

arch/x86/kernel/tsc.c tsc_setup() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 8941250391199129600
BUF_SIZE 0 reason 15
STR_LEN 0 reason 14
TERMINATED 0 reason 1
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/tsc_sync.c tsc_sync_mark_tsc_unstable() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 893047660676845568
BUF_SIZE 0 reason 29
STR_LEN 0 reason 28
TERMINATED 0 reason 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/acpi/processor_idle.c tsc_check_state() -> mark_tsc_unstable()

Type Parameter Key Value
PARAM_VALUE 0 reason 8228455566905061376
BUF_SIZE 0 reason 18
STR_LEN 0 reason 17
TERMINATED 0 reason 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuidle_lock