Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page_counter.c page_counter_cancel() -> propagate_protected_usage()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 1 usage 0-9223372036854775807
DATA_SOURCE 0 c $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &hugetlb_lock
HALF_LOCKED2 irq

mm/page_counter.c page_counter_charge() -> propagate_protected_usage()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
DATA_SOURCE 1 usage r atomic_long_add_return
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &hugetlb_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

mm/page_counter.c page_counter_set_low() -> propagate_protected_usage()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &cgroup_mutex

mm/page_counter.c page_counter_set_min() -> propagate_protected_usage()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &cgroup_mutex

mm/page_counter.c page_counter_try_charge() -> propagate_protected_usage()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
CAPPED_DATA 1 usage 1
DATA_SOURCE 1 usage r atomic_long_add_return
PARAM_COMPARE 0 c->max >= $1
PARAM_COMPARE 1 usage <= $0->max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL