Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/scsi/ppa.c device_check() -> ppa_reset_pulse()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL
UNITS 0 base unit_byte
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &registration_lock

drivers/scsi/ppa.c device_check() -> ppa_reset_pulse()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL
UNITS 0 base unit_byte
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &registration_lock

drivers/scsi/ppa.c ppa_init() -> ppa_reset_pulse()

Type Parameter Key Value
RX_PATH
NOCHECK_CALL
UNITS 0 base unit_byte
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &registration_lock

drivers/scsi/ppa.c ppa_reset() -> ppa_reset_pulse()

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 base unit_byte