Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/pcmcia/sym53c500_cs.c SYM53C500_host_reset() -> SYM53C500_int_host_reset()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 io_port unit_byte
LOCK2 SCpnt->device->host->host_lock
LOCK2 irq

drivers/scsi/pcmcia/sym53c500_cs.c sym53c500_resume() -> SYM53C500_int_host_reset()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &fsm->lock