Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/page_reporting.c page_reporting_cycle() -> list_rotate_to_front()

Type Parameter Key Value
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 1 head 1
PARAM_COMPARE 0 list != $1
PARAM_COMPARE 1 head != $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zone)->lock

mm/page_reporting.c page_reporting_cycle() -> list_rotate_to_front()

Type Parameter Key Value
PARAM_VALUE 1 head 4096-ptr_max
CAPPED_DATA 1 head 1
PARAM_COMPARE 0 list != $1
PARAM_COMPARE 1 head != $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &zone->lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zone)->lock

lib/tests/list-test.c list_test_list_rotate_to_front() -> list_rotate_to_front()

Type Parameter Key Value
PARAM_VALUE 0 list 1291803785558642688
PARAM_VALUE 0 list->next 4629011639567769600
PARAM_VALUE 0 list->prev 4096-ptr_max
PARAM_VALUE 1 head 4629011639567769600
PARAM_VALUE 1 head->next 4629011639567769600
PARAM_VALUE 1 head->prev 318526810548428800,1291803785558642688,3900788058854449152,4629011639567769600,6544842286268649472
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/amdgpu_device.c amdgpu_device_recovery_prepare() -> list_rotate_to_front()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 1 head 2602521966180487168,6958129947341881344
PARAM_VALUE 1 head->next 2602521966180487168,6958129947341881344
PARAM_VALUE 1 head->prev 4096-ptr_max
CAPPED_DATA 1 head 1
DATA_SOURCE 1 head $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hive->hive_lock

drivers/gpu/drm/amd/amdgpu/amdgpu_job.c amdgpu_job_core_dump() -> list_rotate_to_front()

Type Parameter Key Value
PARAM_VALUE 0 list 4096-ptr_max
PARAM_VALUE 0 list->prev 0-5436898201567989759,5436898201567989761-u64max
PARAM_VALUE 1 head 5436898201567989760
PARAM_VALUE 1 head->next 5436898201567989760
PARAM_VALUE 1 head->prev 4096-ptr_max
NOCHECK_CALL
LOCK2 &hive->hive_lock
LOCK2 global &drm_unplug_srcu
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct amdgpu_hive_info)->hive_lock