Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/percpu.c pcpu_block_refresh_hint() -> pcpu_block_update()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 0 block->right_free (-63)-64
PARAM_VALUE 0 block->scan_hint (-63)-64
PARAM_VALUE 1 start 0-64
PARAM_VALUE 2 end 1-64
CAPPED_DATA 1 start 1
CAPPED_DATA 2 end 1
DATA_SOURCE 1 start r find_next_zero_bit
DATA_SOURCE 2 end r find_next_bit
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcpu_lock
HALF_LOCKED2 irq

mm/percpu.c pcpu_block_update_hint_free() -> pcpu_block_update()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &pcpu_lock
HALF_LOCKED2 global &pcpu_alloc_mutex

mm/percpu.c pcpu_block_update_hint_free() -> pcpu_block_update()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 1 start 0
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &pcpu_lock
HALF_LOCKED2 global &pcpu_alloc_mutex

mm/percpu.c pcpu_block_update_hint_free() -> pcpu_block_update()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &pcpu_lock
HALF_LOCKED2 global &pcpu_alloc_mutex

mm/percpu.c pcpu_block_update_scan() -> pcpu_block_update()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 1 start 0-1024
PARAM_VALUE 2 end 0-1024
CAPPED_DATA 1 start 1
FUZZY_MAX 1 start 0
FUZZY_MAX 2 end 1024
HARD_MAX 2 end 1024
PREEMPT_ADD
NOCHECK_CALL
LOCK2 flags
LOCK2 global &pcpu_lock
HALF_LOCKED2 global &pcpu_alloc_mutex

mm/percpu.c pcpu_chunk_refresh_hint() -> pcpu_block_update()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 1 start s32min-2147483646
BUF_SIZE 0 block 32
CAPPED_DATA 1 start 1
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &pcpu_lock