dfx_int_pr_halt_id  276 drivers/net/fddi/defxx.c static void		dfx_int_pr_halt_id(DFX_board_t *bp);
dfx_int_pr_halt_id 1812 drivers/net/fddi/defxx.c 			dfx_int_pr_halt_id(bp);			/* display halt id as string */