Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/coredump.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/btrfs/volumes.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

fs/nfs/blocklayout/dev.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

init/initramfs.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/char/misc_minor_kunit.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
NOCHECK_CALL

net/unix/af_unix.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/target/target_core_alua.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &lun->lun_tg_pt_md_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tg_pt_gp->tg_pt_gp_transition_mutex

init/initramfs_test.c initramfs_test_exit() -> __revert_init_fs()

Type Parameter Key Value
BUF_SIZE 0 old_fs s32min,(-10),1-s32max
NOCHECK_CALL

fs/smb/server/smb2pdu.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &pool->lock

fs/smb/server/vfs.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/block/rnbd/rnbd-srv.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &srv_sess->lock
TYPE_LOCK (struct rnbd_srv_session)->lock

drivers/crypto/ccp/sev-dev.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &sev_cmd_mutex

fs/kernel_read_file.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/smb/server/mgmt/share_config.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &pool->lock

drivers/target/target_core_pr.c class___override_init_fs_destructor() -> __revert_init_fs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock