Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cxl/core/port.c __free_cxl_dport_release_dr_group() -> del_dport()

Type Parameter Key Value
PARAM_VALUE 0 dport 1-u64max
BIT_INFO 0 dport 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/cxl/core/port.c del_dports() -> del_dport()

Type Parameter Key Value
PARAM_VALUE 0 dport 1-u64max
NOCHECK_CALL
LOCK2 &parent_port->dev.mutex
LOCK2 &port->dev.mutex
TYPE_LOCK (struct device)->mutex