ip32_be_init       31 arch/mips/sgi-ip32/ip32-setup.c extern void ip32_be_init(void);
ip32_be_init       80 arch/mips/sgi-ip32/ip32-setup.c 	board_be_init = ip32_be_init;