tx4927_pcibios_setup
char *tx4927_pcibios_setup(char *str);
txx9_board_pcibios_setup = tx4927_pcibios_setup;