Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/hw/intel/ntb_hw_gen3.c gen3_init_ntb() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
PARAM_VALUE 0 bits 0-u32max
FUZZY_MAX 0 bits u32max
CONTAINER 0 *(-24-1976+1864) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/ntb/hw/intel/ntb_hw_gen3.c gen3_poll_link() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
CONTAINER 0 *(-24-1976+1872) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ntb/hw/intel/ntb_hw_gen4.c gen4_init_ntb() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
PARAM_VALUE 0 bits u32max
CONTAINER 0 *(-24-1976+1864) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/ntb/hw/intel/ntb_hw_gen4.c gen4_poll_link() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
CONTAINER 0 *(-24-1976+1872) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ntb/hw/intel/ntb_hw_gen1.c ndev_db_clear_mask() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
PARAM_VALUE 1 mmio 4096-ptr_max
DATA_SOURCE 1 mmio $2
CONTAINER 0 *(-24-1976+1880) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ndev->db_mask_lock
LOCK2 irqflags
HALF_LOCKED2 &pp->lock
TYPE_LOCK (struct intel_ntb_dev)->db_mask_lock

drivers/ntb/hw/intel/ntb_hw_gen1.c ndev_db_set_mask() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
PARAM_VALUE 1 mmio 4096-ptr_max
DATA_SOURCE 1 mmio $2
CONTAINER 0 *(-24-1976+1880) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ndev->db_mask_lock
LOCK2 irqflags
TYPE_LOCK (struct intel_ntb_dev)->db_mask_lock

drivers/ntb/hw/intel/ntb_hw_gen1.c ndev_db_write() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
PARAM_VALUE 1 mmio 4096-ptr_max
DATA_SOURCE 0 bits $1
DATA_SOURCE 1 mmio $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 bits 0-u64max[c]

drivers/ntb/hw/intel/ntb_hw_gen1.c ndev_deinit_isr() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
CONTAINER 0 *(-24-1976+1880) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ntb/hw/intel/ntb_hw_gen1.c ndev_init_isr() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
CONTAINER 0 *(-24-1976+1880) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/ntb/hw/intel/ntb_hw_gen1.c xeon_init_ntb() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
CONTAINER 0 *(-24-1976+1864) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/ntb/hw/intel/ntb_hw_gen1.c xeon_poll_link() -> (struct intel_ntb_reg)->db_iowrite()

Type Parameter Key Value
CONTAINER 0 *(-24-1976+1872) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL