Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/intel_ips.c ips_irq_handler() -> verify_limits()

Type Parameter Key Value
PARAM_VALUE 0 ips 4096-ptr_max
PARAM_VALUE 0 ips->mcp_power_limit 0-3
PARAM_VALUE 0 ips->mcp_temp_limit 0-127
DATA_SOURCE 0 ips $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ips->core_power_limit 0-1023[c]
HOST_DATA 0 ips->gpu_turbo_enabled 0-1
HOST_DATA 0 ips->mch_power_limit 0-511[c]
HOST_DATA 0 ips->mcp_power_limit 0-3[c]
HOST_DATA 0 ips->mcp_temp_limit 0-127[c]
LOCK2 0 &ips->turbo_status_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct ips_driver)->turbo_status_lock

drivers/platform/x86/intel_ips.c update_turbo_limits() -> verify_limits()

Type Parameter Key Value
PARAM_VALUE 0 ips 4096-ptr_max
PARAM_VALUE 0 ips->limits->core_temp_limit 95
PARAM_VALUE 0 ips->limits->mch_temp_limit 90
PARAM_VALUE 0 ips->limits->mcp_power_limit 18000,25000,35000
BUF_SIZE 0 ips 128,312
BUF_SIZE 0 ips 128,312
BUF_SIZE 0 ips->dev (-1),1616
DATA_SOURCE 0 ips $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ips->__cpu_turbo_on 0-1
HOST_DATA 0 ips->__gpu_turbo_on 0-1
HOST_DATA 0 ips->core_power_limit 0-u16max
HOST_DATA 0 ips->cpu_avg_power 0-u32max
HOST_DATA 0 ips->cpu_turbo_enabled 0
HOST_DATA 0 ips->cta_val 0-u16max
HOST_DATA 0 ips->ctv1_avg_temp 0-u16max
HOST_DATA 0 ips->ctv2_avg_temp 0-u16max
HOST_DATA 0 ips->gpu_preferred 0-1
HOST_DATA 0 ips->gpu_turbo_enabled 0-1
HOST_DATA 0 ips->irq s32min-s32max
HOST_DATA 0 ips->mch_avg_power 0-u32max
HOST_DATA 0 ips->mch_avg_temp 0-u16max
HOST_DATA 0 ips->mch_power_limit 0-u16max
HOST_DATA 0 ips->mcp_avg_temp 0-u16max
HOST_DATA 0 ips->mcp_power_limit 0-u16max
HOST_DATA 0 ips->mcp_temp_limit 0-u16max
HOST_DATA 0 ips->mgta_val 0-u16max
HOST_DATA 0 ips->orig_turbo_limit 0-u64max
HOST_DATA 0 ips->orig_turbo_ratios 0-u64max
HOST_DATA 0 ips->poll_turbo_status 0-1
HOST_DATA 0 ips->pta_val 0-u16max
HOST_DATA 0 ips->second_cpu 0-1
HOST_DATA 0 ips->timer.expires 0-u64max
HOST_DATA 0 ips->timer.flags 0-u32max
HOST_DATA 0 ips->turbo_toggle_allowed 0-1
HOST_DATA 0 *ips 0-u64max
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ips->turbo_status_lock