Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/ceph/mds_client.c ceph_mdsc_release_request() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsc->client->mount_mutex
HALF_LOCKED2 &req->r_dentry->d_lockref.lock
HALF_LOCKED2 &req->r_old_dentry->d_lockref.lock

fs/ceph/mds_client.c send_mds_reconnect() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->length 1-u64max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
NOCHECK_CALL

fs/ceph/mds_client.c send_mds_reconnect() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->refcnt.refs.counter 1
BUF_SIZE 0 pl (-1),72
BUF_SIZE 0 pl (-1),72
NOCHECK_CALL

fs/ceph/mds_client.c send_mds_reconnect() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->length 0
PARAM_VALUE 0 pl->mapped_tail 0
PARAM_VALUE 0 pl->num_pages_free 0
PARAM_VALUE 0 pl->refcnt.refs.counter 1
PARAM_VALUE 0 pl->room 0
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
NOCHECK_CALL

fs/ceph/mds_client.c send_reconnect_partial() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->length 1-u32max
PARAM_VALUE 0 pl->mapped_tail 18379471554275704832,18446612682070032384
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex

fs/ceph/mds_client.c send_reconnect_partial() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->refcnt.refs.counter 1
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &session->s_mutex

net/ceph/messenger.c ceph_msg_data_destroy() -> ceph_pagelist_release()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &mdsc->mutex
HALF_LOCKED2 &mdsc->snap_rwsem
HALF_LOCKED2 &osd->lock
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &session->s_mutex

fs/ceph/inode.c fill_fscrypt_truncate() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->num_pages_free 0
PARAM_VALUE 0 pl->refcnt.refs.counter 1
PARAM_VALUE 0 pl->room 0
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
NOCHECK_CALL

fs/ceph/acl.c ceph_pre_init_acls() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 1-u64max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->refcnt.refs.counter 1
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/xattr.c ceph_release_acl_sec_ctx() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/xattr.c ceph_security_init_secctx() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->refcnt.refs.counter 1
BUF_SIZE 0 pl (-1),72
BUF_SIZE 0 pl (-1),72
CAPPED_DATA 0 pl->head.next 1
CAPPED_DATA 0 pl->head.prev 1
CAPPED_DATA 0 &pl->head 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/ceph/xattr.c ceph_sync_setxattr() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->refcnt.refs.counter 1
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

net/ceph/osd_client.c ceph_osd_data_release() -> ceph_pagelist_release()

Type Parameter Key Value
NOCHECK_CALL

net/ceph/osd_client.c linger_release() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &osdc->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rbd_dev->watch_mutex

net/ceph/osd_client.c osd_req_op_cls_init() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->num_pages_free 0
PARAM_VALUE 0 pl->refcnt.refs.counter 1
PARAM_VALUE 0 pl->room 0
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &obj_req->state_mutex

net/ceph/osd_client.c osd_req_op_notify_ack_init() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->refcnt.refs.counter 1
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
NOCHECK_CALL
LOCK2 &pool->lock

net/ceph/osd_client.c osd_req_op_xattr_init() -> ceph_pagelist_release()

Type Parameter Key Value
PARAM_VALUE 0 pl 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.next->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->free_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->head.next 4096-ptr_max
PARAM_VALUE 0 pl->head.next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pl->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pl->mapped_tail 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 pl->num_pages_free 0
PARAM_VALUE 0 pl->refcnt.refs.counter 1
PARAM_VALUE 0 pl->room 0
BUF_SIZE 0 pl 72
DATA_SOURCE 0 pl r ceph_pagelist_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock