Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/iwlwifi/fw/dbg.c iwl_fw_error_dump_wk() -> (struct iwl_fw_runtime_ops)->dump_end()

Type Parameter Key Value
CONTAINER 0 *(-8-24+32) $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ctx->mutex
HALF_LOCKED2 0 &ctx->wiphy->mtx