i40e_free_virt_mem identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/ethernet/intel/i40e/i40e_alloc.h, line 32 (as a prototype)

Defined in 1 files as a function:

drivers/net/ethernet/intel/i40e/i40e_main.c, line 214 (as a function)

Referenced in 5 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_lan_hmc.c i40e_shutdown_lan_hmc() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->hmc.hmc_obj	1-u64max
PARAM_VALUE	1	mem	4096-ptr_max
BUF_SIZE	0	hw	1904
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/intel/i40e/i40e_lan_hmc.c i40e_shutdown_lan_hmc() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->hmc.hmc_obj	1-u64max
PARAM_VALUE	0	hw->hmc.sd_table.addr.size	0
PARAM_VALUE	0	hw->hmc.sd_table.addr.va	0
PARAM_VALUE	0	hw->hmc.sd_table.sd_cnt	0
PARAM_VALUE	0	hw->hmc.sd_table.sd_entry	0
PARAM_VALUE	1	mem	4096-ptr_max
BUF_SIZE	0	hw	1904
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_alloc_arq_bufs() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.arq.count	0
PARAM_VALUE	0	hw->aq.arq.desc_buf.va	1-ptr_max
PARAM_VALUE	0	hw->aq.arq.dma_head.size	24-1572840
PARAM_VALUE	0	hw->aq.arq.dma_head.va	16,4096-ptr_max
PARAM_VALUE	0	hw->aq.arq.next_to_clean	0
PARAM_VALUE	0	hw->aq.arq.next_to_use	0
PARAM_VALUE	0	hw->aq.arq.r.arq_bi	4096-ptr_max
PARAM_VALUE	0	hw->aq.arq_buf_size	1-u16max
PARAM_VALUE	0	hw->aq.asq.cmd_buf.size	32-2097120
PARAM_VALUE	0	hw->aq.asq.cmd_buf.va	16,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq.count	1-u16max
PARAM_VALUE	0	hw->aq.asq.desc_buf.va	1-ptr_max
PARAM_VALUE	0	hw->aq.asq.dma_head.size	24-1572840
PARAM_VALUE	0	hw->aq.asq.dma_head.va	16,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq.next_to_clean	0
PARAM_VALUE	0	hw->aq.asq.next_to_use	0
PARAM_VALUE	0	hw->aq.asq.r.asq_bi	4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_buf_size	1-u16max
PARAM_VALUE	0	hw->aq.asq_cmd_timeout	250000
PARAM_VALUE	0	hw->aq.num_arq_entries	1-u16max
PARAM_VALUE	0	hw->aq.num_asq_entries	1-u16max
PARAM_VALUE	1	mem	4096-ptr_max
PARAM_VALUE	1	mem->size	24-1572840
PARAM_VALUE	1	mem->va	16,4096-ptr_max
BUF_SIZE	0	hw->aq.arq.r.arq_bi	1-s32max
CAPPED_DATA	0	hw->aq.num_asq_entries	1
DATA_SOURCE	0	hw	$0
NOCHECK_CALL

drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_alloc_asq_bufs() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.arq_buf_size	1-u16max
PARAM_VALUE	0	hw->aq.asq.cmd_buf.size	32-2097120
PARAM_VALUE	0	hw->aq.asq.cmd_buf.va	16,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq.count	0
PARAM_VALUE	0	hw->aq.asq.desc_buf.va	1-ptr_max
PARAM_VALUE	0	hw->aq.asq.dma_head.size	24-1572840
PARAM_VALUE	0	hw->aq.asq.dma_head.va	16,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq.next_to_clean	0
PARAM_VALUE	0	hw->aq.asq.next_to_use	0
PARAM_VALUE	0	hw->aq.asq.r.asq_bi	4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_buf_size	1-u16max
PARAM_VALUE	0	hw->aq.asq_cmd_timeout	250000
PARAM_VALUE	0	hw->aq.num_arq_entries	1-u16max
PARAM_VALUE	0	hw->aq.num_asq_entries	1-u16max
PARAM_VALUE	1	mem	4096-ptr_max
PARAM_VALUE	1	mem->size	24-1572840
PARAM_VALUE	1	mem->va	16,4096-ptr_max
BUF_SIZE	0	hw->aq.asq.r.asq_bi	1-s32max
DATA_SOURCE	0	hw	$0
NOCHECK_CALL

drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_free_arq_bufs() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.arq.count	0
PARAM_VALUE	0	hw->aq.arq.desc_buf.pa	0
PARAM_VALUE	0	hw->aq.arq.desc_buf.size	0
PARAM_VALUE	0	hw->aq.arq.desc_buf.va	0
PARAM_VALUE	0	hw->aq.arq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.arq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->aq.arq_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.arq_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hw->aq.arq_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	hw->aq.asq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	1	mem	4096-ptr_max
CAPPED_DATA	0	hw->aq.asq.count	1
CAPPED_DATA	0	hw->aq.num_arq_entries	1
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
LOCK2	0	&hw->aq.arq_mutex
TYPE_LOCK		(struct i40e_adminq_info)->arq_mutex

drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_free_asq_bufs() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.asq.count	0
PARAM_VALUE	0	hw->aq.asq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->aq.asq_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hw->aq.asq_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	mem	4096-ptr_max
CAPPED_DATA	0	hw->aq.num_asq_entries	1
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
LOCK2	0	&hw->aq.asq_mutex
TYPE_LOCK		(struct i40e_adminq_info)->asq_mutex

drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_free_asq_bufs() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.asq.cmd_buf.size	0
PARAM_VALUE	0	hw->aq.asq.cmd_buf.va	0
PARAM_VALUE	0	hw->aq.asq.count	0
PARAM_VALUE	0	hw->aq.asq.desc_buf.pa	0
PARAM_VALUE	0	hw->aq.asq.desc_buf.size	0
PARAM_VALUE	0	hw->aq.asq.desc_buf.va	0
PARAM_VALUE	0	hw->aq.asq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->aq.asq_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	hw->aq.asq_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	mem	4096-ptr_max
CAPPED_DATA	0	hw->aq.num_asq_entries	1
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
LOCK2	0	&hw->aq.asq_mutex
TYPE_LOCK		(struct i40e_adminq_info)->asq_mutex

drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_shutdown_adminq() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.arq.count	0
PARAM_VALUE	0	hw->aq.arq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hw->aq.arq_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hw->aq.arq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->aq.asq.count	0
PARAM_VALUE	0	hw->aq.asq.desc_buf.pa	0
PARAM_VALUE	0	hw->aq.asq.desc_buf.size	0
PARAM_VALUE	0	hw->aq.asq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->nvm_buff.va	1-u64max
PARAM_VALUE	1	mem	4096-ptr_max
PARAM_VALUE	1	mem->va	1-u64max
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max

drivers/net/ethernet/intel/i40e/i40e_hmc.c i40e_remove_pd_bp() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->hmc.hmc_obj	1-u64max
PARAM_VALUE	1	mem	4096-ptr_max
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max

drivers/net/ethernet/intel/i40e/i40e_dcb.c i40e_aq_get_dcb_config() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_last_status	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hw->aq.asq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	mem	2164018087369248768
PARAM_VALUE	1	mem->size	1500
PARAM_VALUE	1	mem->va	16,4096-ptr_max
BUF_SIZE	0	hw	(-1),1904
BUF_SIZE	0	hw	(-1),1904
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
HOST_DATA	0	hw->nvm.version	0-u16max
NO_OVERFLOW_SIMPLE	0	hw->aq.arq.desc_buf.size
NO_OVERFLOW_SIMPLE	0	hw->aq.asq.desc_buf.size
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		global &rtnl_mutex

drivers/net/ethernet/intel/i40e/i40e_dcb.c i40e_get_fw_lldp_status() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_last_status	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hw->aq.asq_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hw->aq.asq_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	mem	5160228092602740736
PARAM_VALUE	1	mem->size	1500
PARAM_VALUE	1	mem->va	16,4096-ptr_max
DATA_SOURCE	0	hw	$0
NOCHECK_CALL

drivers/net/ethernet/intel/i40e/i40e_dcb.c i40e_set_dcb_config() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	1	mem	5917214144317874176
PARAM_VALUE	1	mem->size	1500
PARAM_VALUE	1	mem->va	16,4096-ptr_max
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
NO_OVERFLOW_SIMPLE	0	hw->aq.arq.desc_buf.size
NO_OVERFLOW_SIMPLE	0	hw->aq.asq.desc_buf.size

drivers/net/ethernet/intel/i40e/i40e_nvm.c i40e_calc_nvm_checksum() -> i40e_free_virt_mem()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	1	mem	318662074457526272
PARAM_VALUE	1	mem->size	4096
PARAM_VALUE	1	mem->va	0,16,4096-ptr_max
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	hw->nvm.eetrack	0-u32max
HOST_DATA	0	hw->nvm.hw_semaphore_timeout	0-4299262262295[c]
HOST_DATA	0	hw->nvm.oem_ver	0-u32max
NO_OVERFLOW_SIMPLE	0	hw->aq.arq.desc_buf.size
NO_OVERFLOW_SIMPLE	0	hw->aq.asq.desc_buf.size
HALF_LOCKED2	0	&hw->aq.arq_mutex