ifp.wlcmd revision 3138:7bbdcbfa4cd5 
1#
2# Copyright 2006 Sun Microsystems, Inc.  All rights reserved.
3# Use is subject to license terms.
4#
5#ident	"%Z%%M%	%I%	%E% SMI"
6
7### Warlock commands for analyzing the ifp driver alone.
8
9### Tell warlock there's only one ifp struct, so that it will complain
10### if the lock is acquired when it is already locked.
11
12one ifp 
13
14### Tell warlock that ifp_scsi_reset_notify(), which gets called from
15### the scsa stuff through the transport table, is a root function.
16
17root ifp_scsi_reset_notify
18root ifp_ifptm_alive
19root ifp_ifptm_attach
20root ifp_ifptm_detach
21root ifp_ifptm_init
22root ifp_ifptm_mbox_cmd_init
23root ifp_ifptm_mbox_cmd_start
24root ifp_ifptm_reset
25
26ignore ifp.c:ifp_hp_daemon
27
28### Give warlock the lock order we use to prevent deadlocks.
29
30assert order \
31	ifp::ifp_response_mutex \
32	ifp::ifp_request_mutex \
33	ifp::ifp_waitq_mutex
34
35### Tell warlock not to analyze this calling sequence, since it
36### never really occurs.
37
38disallow \
39	ifp_i_empty_waitQ \
40	ifp_scsi_start \
41	ifp_i_polled_cmd_start
42
43ignore ifp_kmem_cache_constructor ifp_kmem_cache_destructor
44ignore ifp_i_print_fcal_position_map
45ignore ifp_bus_get_eventcookie ifp_bus_add_eventcall ifp_bus_remove_eventcall
46ignore ifp_bus_post_event
47ignore ifp_i_print_state
48ignore ifp_scsi_get_name ifp_scsi_get_bus_addr
49ignore ifp_kstat_update
50
51### Tell warlock where calls through pkt_comp go.
52
53add scsi_pkt::pkt_comp targets \
54	ifp_scsi_start \
55	ifp_scsi_abort \
56	ifp_scsi_reset \
57	ifp_scsi_getcap \
58	ifp_scsi_setcap \
59	ifp_scsi_dmafree \
60	ifp_scsi_sync_pkt \
61	ifp_scsi_destroy_pkt \
62	ifp_scsi_init_pkt
63
64add notify_entry::callback target warlock_dummy
65
66### pointers in the scsi_hba_tran structure.
67for ptr in `funcptrs | grep '^scsi_hba_tran::'`
68do
69        add $ptr target warlock_dummy
70done
71root    scsi_hba_bus_power
72
73