sdla_flush_te1_pmon 3821 dev/pci/if_san_te1.c 		sdla_flush_te1_pmon(card);
sdla_flush_te1_pmon  957 dev/pci/if_san_te1.h EXTERN void sdla_flush_te1_pmon(void *);