Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/hugetlb_cgroup.c hugetlb_cgroup_commit_charge() -> __hugetlb_cgroup_commit_charge()

Type Parameter Key Value
PARAM_VALUE 1 nr_pages 0-u32max
PARAM_VALUE 2 h_cg 0,4096-ptr_max
PARAM_VALUE 3 folio 4096-ptr_max
PARAM_VALUE 3 folio->lru.next->prev 4096-ptr_max
PARAM_VALUE 3 folio->lru.prev->next 4096-ptr_max
PARAM_VALUE 3 folio->page._refcount.counter 1
PARAM_VALUE 4 rsvd 0
DATA_SOURCE 0 idx $0
DATA_SOURCE 1 nr_pages $1
DATA_SOURCE 2 h_cg $2
DATA_SOURCE 3 folio $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &hugetlb_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock

mm/hugetlb_cgroup.c hugetlb_cgroup_commit_charge_rsvd() -> __hugetlb_cgroup_commit_charge()

Type Parameter Key Value
PARAM_VALUE 1 nr_pages 0-u32max
PARAM_VALUE 2 h_cg 0,4096-ptr_max
PARAM_VALUE 3 folio 4096-ptr_max
PARAM_VALUE 3 folio->lru.next->prev 4096-ptr_max
PARAM_VALUE 3 folio->lru.prev->next 4096-ptr_max
PARAM_VALUE 3 folio->page._refcount.counter 1
PARAM_VALUE 4 rsvd 1
DATA_SOURCE 0 idx $0
DATA_SOURCE 1 nr_pages $1
DATA_SOURCE 2 h_cg $2
DATA_SOURCE 3 folio $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &hugetlb_lock
LOCK2 irq
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock