Symbol: dfx_int_pr_halt_id
drivers/net/fddi/defxx.c
1814
dfx_int_pr_halt_id(bp); /* display halt id as string */
drivers/net/fddi/defxx.c
277
static void dfx_int_pr_halt_id(DFX_board_t *bp);