Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ntb/ntb_transport.c ntb_async_rx() -> ntb_async_rx_submit()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->entry.next 4096-ptr_max
PARAM_VALUE 0 entry->entry.next->prev 4096-ptr_max
PARAM_VALUE 0 entry->entry.prev->next 4096-ptr_max
PARAM_VALUE 0 entry->qp 4096-ptr_max
PARAM_VALUE 0 entry->rx_hdr 4096-ptr_max
PARAM_VALUE 0 entry->rx_hdr->flags 1-u32max
PARAM_VALUE 0 entry->tx_hdr 4096-ptr_max
PARAM_VALUE 1 offset 4096-ptr_max
CAPPED_DATA 0 entry->len 1
CAPPED_DATA 0 entry->rx_hdr->ver 1
DATA_SOURCE 0 entry $0
DATA_SOURCE 1 offset $1