Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thermal/intel/intel_hfi.c hfi_syscore_resume() -> hfi_enable_instance()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

kernel/smp.c csd_do_func() -> csd_do_func param 0()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-0,8,32,38,120,256
BUF_SIZE 0 ptr (-1)-0,8,32,38,120,256
BUF_SIZE 0 ptr->clk (-1),1-s32max
BUF_SIZE 0 ptr->clk_bus (-1),1-s32max
BUF_SIZE 0 ptr->dev (-1),1616
BUF_SIZE 0 ptr->pages (-1)-s32max
BUF_SIZE 0 ptr->phylink (-1),816
BUF_SIZE 0 ptr->phylink_config.dev (-1),1616
BUF_SIZE 0 ptr->phylink_pcs.ops (-1),104
BUF_SIZE 0 ptr->ports (-1),576
BUF_SIZE 0 ptr->reg (-1),15
BUF_SIZE 0 ptr->stats (-1),120
BUF_SIZE 0 ptr->vaddr (-1),8,800
DATA_SOURCE 0 ptr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ptr->mm->arg_start
NO_OVERFLOW_SIMPLE 0 *ptr
UNITS 0 ptr unit_byte
HALF_LOCKED2 flags