#
# 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 ifp driver alone.

### Tell warlock there's only one ifp struct, so that it will complain
### if the lock is acquired when it is already locked.

one ifp 

### Tell warlock that ifp_scsi_reset_notify(), which gets called from
### the scsa stuff through the transport table, is a root function.

root ifp_scsi_reset_notify
root ifp_ifptm_alive
root ifp_ifptm_attach
root ifp_ifptm_detach
root ifp_ifptm_init
root ifp_ifptm_mbox_cmd_init
root ifp_ifptm_mbox_cmd_start
root ifp_ifptm_reset

ignore ifp.c:ifp_hp_daemon

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

assert order \
	ifp::ifp_response_mutex \
	ifp::ifp_request_mutex \
	ifp::ifp_waitq_mutex

### Tell warlock not to analyze this calling sequence, since it
### never really occurs.

disallow \
	ifp_i_empty_waitQ \
	ifp_scsi_start \
	ifp_i_polled_cmd_start

ignore ifp_kmem_cache_constructor ifp_kmem_cache_destructor
ignore ifp_i_print_fcal_position_map
ignore ifp_bus_get_eventcookie ifp_bus_add_eventcall ifp_bus_remove_eventcall
ignore ifp_bus_post_event
ignore ifp_i_print_state
ignore ifp_scsi_get_name ifp_scsi_get_bus_addr
ignore ifp_kstat_update

### Tell warlock where calls through pkt_comp go.

add scsi_pkt::pkt_comp targets \
	ifp_scsi_start \
	ifp_scsi_abort \
	ifp_scsi_reset \
	ifp_scsi_getcap \
	ifp_scsi_setcap \
	ifp_scsi_dmafree \
	ifp_scsi_sync_pkt \
	ifp_scsi_destroy_pkt \
	ifp_scsi_init_pkt

add notify_entry::callback target warlock_dummy

### pointers in the scsi_hba_tran structure.
for ptr in `funcptrs | grep '^scsi_hba_tran::'`
do
        add $ptr target warlock_dummy
done
root    scsi_hba_bus_power