Symbol: tdfx_query_boards
sys/dev/tdfx/tdfx_pci.c
718
return tdfx_query_boards();
sys/dev/tdfx/tdfx_pci.h
55
static int tdfx_query_boards(void);