aft_led_timer     273 dev/pci/if_san_xilinx.c static void	aft_led_timer(void *);
aft_led_timer     343 dev/pci/if_san_xilinx.c 	timeout_set(&card->u.xilinx.led_timer, aft_led_timer, (void *)card);