Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firewire/ohci.c find_and_insert_self_id() -> get_status_for_port()

Type Parameter Key Value
PARAM_VALUE 0 ohci 4096-ptr_max
PARAM_VALUE 0 ohci->node_id 0-u16max
PARAM_VALUE 0 ohci->quirks 32-u32max
PARAM_VALUE 0 ohci->self_id 4096-ptr_max
PARAM_VALUE 1 port_index 0-2
PARAM_VALUE 2 status 2954529637984739328
DATA_SOURCE 0 ohci $0
FUZZY_MAX 1 port_index 2
BIT_INFO 0 ohci->quirks 0x20,0xffffffffffffffff
HARD_MAX 1 port_index 2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ohci->is_root 0-1
HOST_DATA 0 ohci->node_id 0-u16max
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq