Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 10 files:

Smatch caller information:

security/ipe/policy_fs.c ipe_del_policyfs_node() -> securityfs_remove()

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 dentry unit_jiffy
HALF_LOCKED2 &root->i_rwsem

security/ipe/policy_fs.c ipe_new_policyfs_node() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r securityfs_create_dir
NOCHECK_CALL

drivers/virt/coco/efi_secret/efi_secret.c efi_secret_securityfs_teardown() -> securityfs_remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

security/apparmor/apparmorfs.c entry_remove_file() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 1-u64max
NOCHECK_CALL

security/safesetid/securityfs.c safesetid_init_securityfs() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-u64max
PARAM_VALUE 0 dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r securityfs_create_dir
NOCHECK_CALL

drivers/char/tpm/eventlog/common.c tpm_bios_log_teardown() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

security/integrity/iint.c integrity_fs_fini() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
NOCHECK_CALL

security/integrity/evm/evm_secfs.c evm_init_secfs() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 0,4096-u64max
PARAM_VALUE 0 dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 dentry (-1),1-s32max
BUF_SIZE 0 dentry (-1),1-s32max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 dentry->d_inode->i_size

security/integrity/evm/evm_secfs.c evm_init_secfs() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-u64max
PARAM_VALUE 0 dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r securityfs_create_dir
NOCHECK_CALL

security/integrity/ima/ima_fs.c ima_fs_init() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 0,4096-u64max
PARAM_VALUE 0 dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_parent->d_inode->i_rwsem.first_waiter->type 0-1
BUF_SIZE 0 dentry (-1),1-s32max
BUF_SIZE 0 dentry (-1),1-s32max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 dentry->d_inode->i_size

security/integrity/ima/ima_fs.c ima_fs_init() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-u64max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r securityfs_create_dir
NOCHECK_CALL

security/ipe/fs.c ipe_init_securityfs() -> securityfs_remove()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_children->first->pprev 1-u64max
PARAM_VALUE 0 dentry->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 dentry->d_inode->i_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 dentry 1
DATA_SOURCE 0 dentry r securityfs_create_dir
NOCHECK_CALL