Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/exit.c do_exit() -> debug_check_no_locks_held()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &system_transition_mutex

drivers/power/supply/tps65090-charger.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/md/dm-log-writes.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/platform/surface/surface3_power.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-kthread-touch.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/jfs/jfs_txnmgr.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/power/supply/tps65217_charger.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/block/xen-blkback/blkback.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

net/sunrpc/svc_xprt.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

net/core/pktgen.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

kernel/kthread.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/pci/solo6x10/solo6x10-v4l2-enc.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

kernel/freezer.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/common/videobuf2/videobuf2-core.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/pci/saa7164/saa7164-core.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/tty/hvc/hvc_console.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/test-drivers/vimc/vimc-streamer.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/pci/saa7134/saa7134-tvaudio.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-sdr-cap.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/jbd2/journal.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/xfs/xfs_zone_gc.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/smb/server/vfs_cache.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/smb/server/connection.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/lockd/clntproc.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

block/blk-zoned.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/xfs/xfs_trans_ail.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/pcmcia/cs.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/jfs/jfs_logmgr.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/pci/solo6x10/solo6x10-v4l2.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kernel/cpu/sgx/main.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/ubifs/commit.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-kthread-out.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

kernel/signal.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/connect.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/tvaudio.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/mtd/ubi/wl.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/pci/cx88/cx88-tvaudio.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/smb/server/transport_tcp.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/test-drivers/vivid/vivid-kthread-cap.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/jffs2/background.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/i2c/video-i2c.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

kernel/umh.c try_to_freeze() -> debug_check_no_locks_held()

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

drivers/media/pci/hws/hws_pci.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/nilfs2/segment.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL

fs/ext4/super.c try_to_freeze() -> debug_check_no_locks_held()

Type Parameter Key Value
NOCHECK_CALL