parport_unregister_device identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/parport.h, line 368 (as a prototype)

Defined in 1 files as a function:

drivers/parport/share.c, line 826 (as a function)

Referenced in 21 files:

Smatch caller information:

drivers/scsi/imm.c __imm_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->wakeup	4978618499440963584
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	264
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/scsi/imm.c imm_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
CAPPED_DATA	0	dev->port	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

sound/drivers/mts64.c snd_mts64_card_private_free() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		_T->lock

sound/drivers/mts64.c snd_mts64_probe() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	3422281916574490624
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitnext->waitprev	0,4096-ptr_max
PARAM_VALUE	0	dev->waitnext->waitprev->waitnext	1-u64max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-2),1-s32max
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max

drivers/input/serio/parkbd.c parkbd_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/serio/parkbd.c parkbd_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/serio/parkbd.c parkbd_getport() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	5352599325058867200
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	!= $0->port->physport->cad
PARAM_COMPARE	0	dev	!= $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/auxdisplay/ks0108.c ks0108_parport_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	!= $0->port->physport->cad
PARAM_COMPARE	0	dev	!= $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/auxdisplay/ks0108.c ks0108_parport_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/auxdisplay/panel.c panel_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4365601017520185344
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitnext->waitprev	0,4096-ptr_max
PARAM_VALUE	0	dev->waitnext->waitprev->waitnext	1-u64max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	8
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	>= $0->port->physport->cad
PARAM_COMPARE	0	dev	>= $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/auxdisplay/panel.c panel_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/scsi/ppa.c __ppa_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->wakeup	547550126588280832
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	264
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/scsi/ppa.c ppa_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
CAPPED_DATA	0	dev->port	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/spi/spi-butterfly.c butterfly_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitnext->waitprev	0,4096-ptr_max
PARAM_VALUE	0	dev->waitnext->waitprev->waitnext	1-u64max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	s32min-(-2),1-s32max
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	>= $0->port->physport->cad
PARAM_COMPARE	0	dev	>= $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/spi/spi-butterfly.c butterfly_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/pps/clients/pps_parport.c parport_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	4062716858733195264
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	32
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/pps/clients/pps_parport.c parport_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->private	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/ata/pata_parport/pata_parport.c pi_init_one() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	1664
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->port->private_data->shadowDCR	0-255[c]
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
LOCK2		global &pi_mutex
HALF_LOCKED2		&of->mutex

drivers/ata/pata_parport/pata_parport.c pi_release() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->port->private_data->asynclock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->port->private_data->msg_pending	0-1
PARAM_VALUE	0	dev->port->private_data->serial->disc_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->port->private_data->serial->disc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->port->private_data->serial->disc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->port->private_data->serial->disc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->port->private_data->shadowDCR	0-255
PARAM_VALUE	0	dev->port->private_data->syncmsg_compl.done	0-4294967295
PARAM_VALUE	0	dev->port->private_data->syncmsg_compl.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->port->private_data->syncmsg_compl.wait.lock.owner	(-1)
PARAM_VALUE	0	dev->port->private_data->syncmsg_compl.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->port->private_data->syncmsg_compl.wait.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	dev->port->private_data->work.lockdep_map->name	0-255
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
CAPPED_DATA	0	dev	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		global &pi_mutex

drivers/spi/spi-lm70llp.c spi_lm70llp_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitnext->waitprev	0,4096-ptr_max
PARAM_VALUE	0	dev->waitnext->waitprev->waitnext	1-u64max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	s32min-(-2),1-s32max
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	>= $0->port->physport->cad
PARAM_COMPARE	0	dev	>= $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/spi/spi-lm70llp.c spi_lm70llp_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/joystick/gamecon.c gc_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waiting	0
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitprev	0
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
DATA_SOURCE	0	dev	r parport_register_dev_model
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/joystick/gamecon.c gc_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

sound/drivers/portman2x4.c snd_portman_card_private_free() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		_T->lock

sound/drivers/portman2x4.c snd_portman_probe() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	176952839143092224
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitnext->waitprev	0,4096-ptr_max
PARAM_VALUE	0	dev->waitnext->waitprev->waitnext	1-u64max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-2),1-s32max
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max

drivers/input/joystick/db9.c db9_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waiting	0
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitprev	0
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
DATA_SOURCE	0	dev	r parport_register_dev_model
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/joystick/db9.c db9_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/char/lp.c lp_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/parport/daisy.c parport_close() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->debugfs	0
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->defpool.vaddr	0
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.init_name	0
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.ktype->child_ns_type	0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE	0	dev->dev.kobj.ktype->get_ownership	0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE	0	dev->dev.kobj.ktype->namespace	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->__parent	0
PARAM_VALUE	0	dev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->dev.kobj.sd->dir.children.rb_node	0
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	dev->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	dev->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	dev->dev.physical_location	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->port->cad->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->port->cad->state->u.pc->ecr	0-u32max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max

drivers/parport/daisy.c parport_open() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	0-s32max
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max

drivers/input/joystick/walkera0701.c walkera0701_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	1220583110269337600
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	1088392906655764480
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waiting	0
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitprev	0
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	160
DATA_SOURCE	0	dev	r parport_register_dev_model
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/joystick/walkera0701.c walkera0701_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/net/plip/plip.c plip_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	0
PARAM_VALUE	0	dev->irq_func	1794894502338748416
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	9073821156813643776
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waiting	0
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitprev	0
PARAM_VALUE	0	dev->wakeup	102428771020099584
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
DATA_SOURCE	0	dev	r parport_register_dev_model
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/net/plip/plip.c plip_cleanup_module() -> parport_unregister_device()

Type	Parameter	Key	Value
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max

drivers/i2c/busses/i2c-parport.c i2c_parport_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	8960430908386009088
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	4096-ptr_max
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->state->u.pc.ctr	0-255
PARAM_VALUE	0	dev->state->u.pc.ecr	0-255
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
BUF_SIZE	0	dev->private	2448
CAPPED_DATA	0	dev	1
DATA_SOURCE	0	dev	r parport_register_dev_model
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/i2c/busses/i2c-parport.c i2c_parport_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
CAPPED_DATA	0	dev->port	1
PARAM_COMPARE	0	dev	> $0->port->physport->cad
PARAM_COMPARE	0	dev	> $0->port->physport->cad
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max
LOCK2		global &adapter_list_lock
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/char/ppdev.c pp_release() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
CAPPED_DATA	0	dev	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	dev->state->u.pc	s64min-s64max
HOST_DATA	0	dev->state->u.pc->ctr	0-u32max
HOST_DATA	0	dev->state->u.pc->ecr	0-u32max

drivers/input/joystick/turbografx.c tgfx_attach() -> parport_unregister_device()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->daisy	(-1)
PARAM_VALUE	0	dev->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	dev->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.flags	4096-ptr_max
PARAM_VALUE	0	dev->dev.fwnode->dev->power.set_latency_tolerance	5740181548905971712
PARAM_VALUE	0	dev->dev.kobj->name	0-255
PARAM_VALUE	0	dev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	dev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.kobj.sd->active.counter	(-2147483647)
PARAM_VALUE	0	dev->dev.kobj.sd->attr.notify_next	0,426918848001064960
PARAM_VALUE	0	dev->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.p->klist_children.get	2213798222526185472
PARAM_VALUE	0	dev->dev.p->klist_children.put	3126867300421632000
PARAM_VALUE	0	dev->dev.p->knode_bus.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_class.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.p->knode_parent.n_ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->dev.physical_location->dock	0
PARAM_VALUE	0	dev->dev.physical_location->horizontal_position	0
PARAM_VALUE	0	dev->dev.physical_location->lid	0
PARAM_VALUE	0	dev->dev.physical_location->panel	0
PARAM_VALUE	0	dev->dev.physical_location->vertical_position	0
PARAM_VALUE	0	dev->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->devmodel	1
PARAM_VALUE	0	dev->flags	2
PARAM_VALUE	0	dev->irq_func	0
PARAM_VALUE	0	dev->name	4096-ptr_max
PARAM_VALUE	0	dev->next	0,4096-ptr_max
PARAM_VALUE	0	dev->port	4096-ptr_max
PARAM_VALUE	0	dev->port->ops	4096-ptr_max
PARAM_VALUE	0	dev->port->physport	4096-ptr_max
PARAM_VALUE	0	dev->preempt	0
PARAM_VALUE	0	dev->prev	0
PARAM_VALUE	0	dev->private	0
PARAM_VALUE	0	dev->state	4096-ptr_max
PARAM_VALUE	0	dev->timeout	1250
PARAM_VALUE	0	dev->timeslice	50
PARAM_VALUE	0	dev->wait_q.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_q.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->waiting	0
PARAM_VALUE	0	dev->waitnext	0
PARAM_VALUE	0	dev->waitprev	0
PARAM_VALUE	0	dev->wakeup	0
BUF_SIZE	0	dev	1856
BUF_SIZE	0	dev->port	s32min-(-1),1-s32max
DATA_SOURCE	0	dev	r parport_register_dev_model
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock

drivers/input/joystick/turbografx.c tgfx_detach() -> parport_unregister_device()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &core_lock
HALF_LOCKED2		global &registration_lock