EXTERN            948 dev/pci/if_san_te1.h EXTERN int sdla_te_defcfg(void *);
EXTERN            949 dev/pci/if_san_te1.h EXTERN int sdla_te_setcfg(struct ifnet *, struct ifmedia *);
EXTERN            950 dev/pci/if_san_te1.h EXTERN void sdla_te_settimeslot(void *, unsigned long);
EXTERN            951 dev/pci/if_san_te1.h EXTERN unsigned long sdla_te_gettimeslot(void *);
EXTERN            952 dev/pci/if_san_te1.h EXTERN short sdla_te_config(void *);
EXTERN            953 dev/pci/if_san_te1.h EXTERN void sdla_te_unconfig(void *);
EXTERN            954 dev/pci/if_san_te1.h EXTERN unsigned long sdla_te_alarm(void *, int);
EXTERN            955 dev/pci/if_san_te1.h EXTERN void sdla_te_alarm_print(void *);
EXTERN            956 dev/pci/if_san_te1.h EXTERN void sdla_te_pmon(void *);
EXTERN            957 dev/pci/if_san_te1.h EXTERN void sdla_flush_te1_pmon(void *);
EXTERN            958 dev/pci/if_san_te1.h EXTERN void sdla_te_intr(void *);
EXTERN            959 dev/pci/if_san_te1.h EXTERN int sdla_set_te1_lb_modes(void *, unsigned char, unsigned char);
EXTERN            960 dev/pci/if_san_te1.h EXTERN void sdla_te_polling(void *);
EXTERN            961 dev/pci/if_san_te1.h EXTERN void sdla_te_timer(void *);
EXTERN            962 dev/pci/if_san_te1.h EXTERN int sdla_te_udp(void *, void *, unsigned char *);
EXTERN            963 dev/pci/if_san_te1.h EXTERN void aft_green_led_ctrl(void *, int);