vkread32 identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/misc/bcm-vk/bcm_vk.h, line 449 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_hb_poll() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1092
HALF_LOCKED2		&pool->lock

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_msgq_marker_valid() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1052
BUF_SIZE	0	vk->pdev	(-1),1-s32max
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_msgq_marker_valid() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	24768
BUF_SIZE	0	vk->pdev	(-1),1-s32max
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_send_shutdown_msg() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	24768
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_sync_msgq() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	24776
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_sync_msgq() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	24772
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_open() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1040
BUF_SIZE	0	vk	s32min-(-2),1-s32max
BUF_SIZE	0	vk	s32min-(-2),1-s32max
DATA_SOURCE	0	vk	r dev_get_drvdata
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &spk_mutex

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_open() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	4-4294967299
BUF_SIZE	0	vk	s32min-(-2),1-s32max
BUF_SIZE	0	vk	s32min-(-2),1-s32max
DATA_SOURCE	0	vk	r dev_get_drvdata
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &spk_mutex

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_open() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	8-4294967303
BUF_SIZE	0	vk	s32min-(-2),1-s32max
BUF_SIZE	0	vk	s32min-(-2),1-s32max
DATA_SOURCE	0	vk	r dev_get_drvdata
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &spk_mutex

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_open() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	4-4294967299
BUF_SIZE	0	vk	s32min-(-2),1-s32max
BUF_SIZE	0	vk	s32min-(-2),1-s32max
DATA_SOURCE	0	vk	r dev_get_drvdata
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &spk_mutex

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_open() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	12-4294967307
BUF_SIZE	0	vk	s32min-(-2),1-s32max
BUF_SIZE	0	vk	s32min-(-2),1-s32max
DATA_SOURCE	0	vk	r dev_get_drvdata
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &spk_mutex

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_wq_handler() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1040
HALF_LOCKED2		&pool->lock

drivers/misc/bcm-vk/bcm_vk_tty.c bcm_vk_tty_wq_handler() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
HALF_LOCKED2		&pool->lock

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_get_card_info() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1136
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_get_proc_mon_info() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	2
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_info.num	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HOST_DATA	2	offset	8-4294967303
UNITS	2	offset	unit_byte
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_get_proc_mon_info() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	2
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_info.num	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HOST_DATA	2	offset	0-u32max
UNITS	2	offset	unit_byte
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_get_proc_mon_info() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	2
PARAM_VALUE	2	offset	4-4294967299
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_info.num	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HOST_DATA	2	offset	4-4294967299
UNITS	2	offset	unit_byte
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_handle_notf() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1124
DATA_SOURCE	0	vk	$0
HALF_LOCKED2		&pool->lock

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_intf_ver_chk() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1148
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_load_image_by_type() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	3192
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_load_image_by_type() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	0	vk->bar	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_load_image_by_type() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	0	vk->bar	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1056
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_load_image_by_type() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_log_notf() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1128
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-255[c]
HOST_DATA	0	vk->alert_cnts.uecc	0-255[c]
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HALF_LOCKED2		&pool->lock

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_log_notf() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1128
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-255[c]
HOST_DATA	0	vk->alert_cnts.uecc	0-255[c]
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HALF_LOCKED2		&pool->lock

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_msgq_marker_valid() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1052
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_msgq_marker_valid() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	24768
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_next_boot_image() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_next_boot_image() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1052
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_probe() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	0	vk->bar	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
BUF_SIZE	0	vk	30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE	0	vk->tdma_vaddr	4096-17592186040320,u64max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
CAPPED_DATA	0	&vk->panic_nb	1
DATA_SOURCE	0	vk	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	0-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-384
HOST_DATA	0	vk->kref.refcount.refs.counter	1
HOST_DATA	0	vk->miscdev.minor	0-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	4-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->sriov->class	0-4294967295
HOST_DATA	0	vk->pdev->physfn->sriov->hdr_type	0-255
HOST_DATA	0	vk->pdev->physfn->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	vk->pdev->physfn->sriov->offset	0-u16max
HOST_DATA	0	vk->pdev->physfn->sriov->stride	0-u16max
HOST_DATA	0	vk->pdev->physfn->sriov->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->sriov->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->sriov->initial_VFs	0
HOST_DATA	0	vk->pdev->sriov->max_VF_buses	0-255[c]
HOST_DATA	0	vk->pdev->sriov->offset	0
HOST_DATA	0	vk->pdev->sriov->stride	0
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_info.num	0-8
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	0
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	0
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	0
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	0
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
NO_OVERFLOW_SIMPLE	0	vk->tty_drv->num

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_reset_successful() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1052
CAPPED_DATA	0	vk->to_h_msg_chan.q_nr	1
CAPPED_DATA	0	vk->to_v_msg_chan.q_nr	1
DATA_SOURCE	0	vk	$0
MEM_ZERO	0	&vk->alert_cnts
MEM_ZERO	0	&vk->card_info
MEM_ZERO	0	&vk->host_alert
MEM_ZERO	0	&vk->peer_alert
MEM_ZERO	0	&vk->peerlog_info
MEM_ZERO	0	&vk->proc_mon_info
LOCK2	0	&vk->mutex
TYPE_LOCK		(struct bcm_vk)->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_shutdown() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
BUF_SIZE	0	vk	s32min-(-2),1-s32max
BUF_SIZE	0	vk	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS	0	vk	unit_byte
LOCK2		&dev->mutex
HALF_LOCKED2		&parent->mutex
HALF_LOCKED2		global &system_transition_mutex
TYPE_LOCK		(struct device)->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_sync_card_info() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	1
PARAM_VALUE	2	offset	24768
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk	(-1),30176
BUF_SIZE	0	vk->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE	0	vk->tdma_vaddr	(-1),4096-s32max
BUF_SIZE	0	vk->wq_thread	(-1),512,528-8720
DATA_SOURCE	0	vk	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->pdev->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->class	0-16777215
HOST_DATA	0	vk->pdev->current_state	0-3[c]
HOST_DATA	0	vk->pdev->devcap	0-u32max
HOST_DATA	0	vk->pdev->devfn	0-503[c]
HOST_DATA	0	vk->pdev->device	0-u16max
HOST_DATA	0	vk->pdev->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->irq	0-255
HOST_DATA	0	vk->pdev->is_cxl	0-1
HOST_DATA	0	vk->pdev->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->acs_capabilities	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->bus->parent->bridge_ctl	0-u16max
HOST_DATA	0	vk->pdev->physfn->class	0-16777215
HOST_DATA	0	vk->pdev->physfn->current_state	0-3[c]
HOST_DATA	0	vk->pdev->physfn->devcap	0-u32max
HOST_DATA	0	vk->pdev->physfn->devfn	1-503[c]
HOST_DATA	0	vk->pdev->physfn->device	0-u16max
HOST_DATA	0	vk->pdev->physfn->eetlp_prefix_max	0-7[c]
HOST_DATA	0	vk->pdev->physfn->fm_enabled	0-1[c]
HOST_DATA	0	vk->pdev->physfn->hdr_type	0-255[c]
HOST_DATA	0	vk->pdev->physfn->ide_cfg	0-1[c]
HOST_DATA	0	vk->pdev->physfn->ide_tee_limit	0-1[c]
HOST_DATA	0	vk->pdev->physfn->irq	0-255
HOST_DATA	0	vk->pdev->physfn->is_cxl	0-1
HOST_DATA	0	vk->pdev->physfn->multifunction	0-1[c]
HOST_DATA	0	vk->pdev->physfn->nr_ide_mem	0-255[c]
HOST_DATA	0	vk->pdev->physfn->pcie_flags_reg	0-u16max
HOST_DATA	0	vk->pdev->physfn->pcie_mpss	0-7[c]
HOST_DATA	0	vk->pdev->physfn->pin	0
HOST_DATA	0	vk->pdev->physfn->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->physfn->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->physfn->revision	0-255
HOST_DATA	0	vk->pdev->physfn->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->physfn->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->physfn->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->physfn->transparent	0[c]
HOST_DATA	0	vk->pdev->physfn->vendor	0-u16max
HOST_DATA	0	vk->pdev->pin	0
HOST_DATA	0	vk->pdev->pme_support	0-31[c]
HOST_DATA	0	vk->pdev->ptm_granularity	0-255[c]
HOST_DATA	0	vk->pdev->revision	0-255
HOST_DATA	0	vk->pdev->subsystem_device	0-u16max
HOST_DATA	0	vk->pdev->subsystem_vendor	0-u16max
HOST_DATA	0	vk->pdev->supported_speeds	0,2-254[c]
HOST_DATA	0	vk->pdev->transparent	0[c]
HOST_DATA	0	vk->pdev->vendor	0-u16max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HOST_DATA	0	*vk->pdev->dev.driver_data	s64min-s64max
HOST_DATA	0	*vk->pdev->physfn->dev.driver_data	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_trigger_reset() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
BUF_SIZE	0	vk	s32min-(-1),1-s32max
BUF_SIZE	0	vk	s32min-(-1),1-s32max
CAPPED_DATA	0	vk->to_h_msg_chan.q_nr	1
CAPPED_DATA	0	vk->to_v_msg_chan.q_nr	1
DATA_SOURCE	0	vk	$0
MEM_ZERO	0	&vk->alert_cnts
MEM_ZERO	0	&vk->card_info
MEM_ZERO	0	&vk->peerlog_info
MEM_ZERO	0	&vk->proc_mon_info
RX_PATH
TASK_NOT_RUNNING
UNITS	0	vk	unit_byte
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_trigger_reset() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1024
BUF_SIZE	0	vk	s32min-(-1),1-s32max
BUF_SIZE	0	vk	s32min-(-1),1-s32max
CAPPED_DATA	0	vk->to_h_msg_chan.q_nr	1
CAPPED_DATA	0	vk->to_v_msg_chan.q_nr	1
DATA_SOURCE	0	vk	$0
MEM_ZERO	0	&vk->alert_cnts
MEM_ZERO	0	&vk->card_info
MEM_ZERO	0	&vk->peerlog_info
MEM_ZERO	0	&vk->proc_mon_info
RX_PATH
TASK_NOT_RUNNING
UNITS	0	vk	unit_byte
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_wait() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028,1032,1052
DATA_SOURCE	0	vk	$0
DATA_SOURCE	1	bar	$1
DATA_SOURCE	2	offset	$2
HARD_MAX	2	offset	1052
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c bcm_vk_wait() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1028
DATA_SOURCE	0	vk	$0
HOST_DATA	0	vk->alert_cnts.ecc	0-u16max
HOST_DATA	0	vk->alert_cnts.uecc	0-u16max
HOST_DATA	0	vk->card_info.cpu_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_freq_mhz	0-u32max
HOST_DATA	0	vk->card_info.ddr_size_MB	0-u32max
HOST_DATA	0	vk->card_info.version	0-u32max
HOST_DATA	0	vk->card_info.video_core_freq_mhz	0-u32max
HOST_DATA	0	vk->devid	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.last_uptime	0-u32max
HOST_DATA	0	vk->hb_ctrl.lost_cnt	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.cpu	s32min-s32max
HOST_DATA	0	vk->hb_ctrl.work.timer.expires	0-u64max
HOST_DATA	0	vk->hb_ctrl.work.timer.flags	0-u32max
HOST_DATA	0	vk->hb_ctrl.work.work.data.counter	s64min-s64max
HOST_DATA	0	vk->host_alert.flags	0-u16max
HOST_DATA	0	vk->host_alert.notfs	0-u16max
HOST_DATA	0	vk->ib_sgl_size	0-u32max
HOST_DATA	0	vk->kref.refcount.refs.counter	s32min-s32max
HOST_DATA	0	vk->miscdev.minor	s32min-s32max
HOST_DATA	0	vk->miscdev.mode	0-u16max
HOST_DATA	0	vk->msg_id	0-u16max
HOST_DATA	0	vk->msgq_inited.counter	1
HOST_DATA	0	vk->num_irqs	s32min-s32max
HOST_DATA	0	vk->panic_nb.priority	s32min-s32max
HOST_DATA	0	vk->peer_alert.flags	0-u16max
HOST_DATA	0	vk->peer_alert.notfs	0-u16max
HOST_DATA	0	vk->peerlog_off	0-u32max
HOST_DATA	0	vk->proc_mon_info.entry_size	0-u32max
HOST_DATA	0	vk->proc_mon_off	0-u32max
HOST_DATA	0	vk->reset_pid	s32min-s32max
HOST_DATA	0	vk->serial_timer.expires	0-u64max
HOST_DATA	0	vk->serial_timer.flags	0-u32max
HOST_DATA	0	vk->tdma_addr	0-u64max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_h_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_h_msg_chan.q_nr	1-3
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vk->to_v_msg_chan.msgq_mutex.owner.counter	s64min-s64max
HOST_DATA	0	vk->to_v_msg_chan.q_nr	1-3
HOST_DATA	0	vk->tty_wq_work.data.counter	s64min-s64max
HOST_DATA	0	vk->wq_work.data.counter	s64min-s64max
HALF_LOCKED2	0	&vk->mutex

drivers/misc/bcm-vk/bcm_vk_dev.c get_soc_idx() -> vkread32()

Type	Parameter	Key	Value
PARAM_VALUE	0	vk	4096-ptr_max
PARAM_VALUE	1	bar	0
PARAM_VALUE	2	offset	1096
DATA_SOURCE	0	vk	$0
HALF_LOCKED2	0	&vk->mutex