#

# Copyright 2006 Sun Microsystems, Inc. All rights reserved.

# Use is subject to license terms.

#

#ident "%Z%%M% %I% %E% SMI"

### Warlock commands for analyzing the isp driver alone.

### Tell warlock there's only one isp struct, so that it will complain

### if the lock is acquired when it is already locked.

one isp

### Tell warlock that isp_scsi_reset_notify(), which gets called from

### the scsa stuff through the transport table, is a root function.

root isp_scsi_reset_notify isp_i_print_response

### Give warlock the lock order we use to prevent deadlocks.

assert order \

isp::isp_response_mutex \

isp::isp_request_mutex \

isp::isp_waitq_mutex

### Tell warlock not to analyze this calling sequence, since it

### never really occurs.

disallow \

isp_i_empty_waitQ \

isp_scsi_start \

isp_i_polled_cmd_start

root isp_kmem_cache_constructor isp_kmem_cache_destructor

### Tell warlock where calls through pkt_comp go.

add scsi_pkt::pkt_comp targets \

isp_scsi_start \

isp_scsi_abort \

isp_scsi_reset \

isp_scsi_getcap \

isp_scsi_setcap \

isp_scsi_dmafree \

isp_scsi_sync_pkt \

isp_scsi_destroy_pkt \

isp_scsi_init_pkt

add notify_entry::callback target warlock_dummy

for ptr in `funcptrs | grep '^scsi_hba_tran::'`

do

add $ptr target warlock_dummy

done

root scsi_hba_bus_power