Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 17 files:

Smatch caller information:

kernel/irq/proc.c unregister_handler_proc() -> proc_remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex

net/core/pktgen.c _rem_dev_from_if_list() -> proc_remove()

Type Parameter Key Value
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &t->if_lock
TYPE_LOCK (struct pktgen_thread)->if_lock

net/core/pktgen.c pktgen_change_name() -> proc_remove()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &t->if_lock
LOCK2 global &pktgen_thread_lock
TYPE_LOCK (struct pktgen_thread)->if_lock

net/rxrpc/net_ns.c rxrpc_exit_net() -> proc_remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

drivers/video/fbdev/core/fb_procfs.c fb_cleanup_procfs() -> proc_remove()

Type Parameter Key Value
NOCHECK_CALL

fs/smb/server/mgmt/user_session.c delete_proc_session() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &conn->session_lock
HALF_LOCKED2 &conn->srv_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sess->chann_lock
HALF_LOCKED2 global &sessions_table_lock

fs/proc/vmcore.c vmcore_cleanup() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 1855103703051378688
NOCHECK_CALL

drivers/pci/proc.c pci_proc_detach_bus() -> proc_remove()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/proc.c pci_proc_detach_device() -> proc_remove()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

net/ipv6/proc.c snmp6_unregister_dev() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/main.c afs_exit() -> proc_remove()

Type Parameter Key Value
NOCHECK_CALL

fs/afs/proc.c afs_proc_cleanup() -> proc_remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

fs/afs/proc.c afs_proc_init() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
PARAM_VALUE 0 de->nlink 0-4294967295
CAPPED_DATA 0 de 1
DATA_SOURCE 0 de r proc_net_mkdir
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

fs/smb/server/connection.c delete_proc_clients() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 3699720974251646976
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &ctrl_lock

fs/smb/server/proc.c ksmbd_proc_cleanup() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
NOCHECK_CALL

net/sunrpc/cache.c remove_cache_proc_entries() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 1-u64max
BUF_SIZE 0 de (-1)-s32max
BUF_SIZE 0 de (-1)-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

net/8021q/vlanproc.c vlan_proc_rem_dev() -> proc_remove()

Type Parameter Key Value
NOCHECK_CALL

sound/core/info.c snd_info_card_disconnect() -> proc_remove()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &em28xx_devlist_mutex

sound/core/info.c snd_info_card_disconnect() -> proc_remove()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &em28xx_devlist_mutex

sound/core/info.c snd_info_card_id_change() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

sound/core/info.c snd_info_free_entry() -> proc_remove()

Type Parameter Key Value
PARAM_VALUE 0 de 1-u64max
BUF_SIZE 0 de (-1)-s32max
BUF_SIZE 0 de (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock