Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/greybus/svc.c gb_svc_del() -> gb_svc_debugfs_exit()

Type Parameter Key Value
PARAM_VALUE 0 svc 4096-ptr_max
PARAM_VALUE 0 svc->connection 4096-ptr_max
PARAM_VALUE 0 svc->connection->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 svc->connection->state 0-1,3-u32max
PARAM_VALUE 0 svc->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 svc->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 svc->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 svc->dev.kobj.state_in_sysfs 1
PARAM_VALUE 0 svc->dev.power.wakeirq->status 0-4294967295
DATA_SOURCE 0 svc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex