Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/cgroup/misc.c misc_cg_try_charge() -> misc_cg_update_watermark()

Type Parameter Key Value
PARAM_VALUE 0 res 4096-ptr_max
CAPPED_DATA 1 new_usage 1
CAPPED_DATA 1 new_usage 1
DATA_SOURCE 1 new_usage r atomic64_add_return
PARAM_COMPARE 1 new_usage <= $0->max
PARAM_COMPARE 1 new_usage <= $0->max
BIT_INFO 1 new_usage 0x0,0x7fffffffffffffff
BIT_INFO 1 new_usage 0x0,0x7fffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock