601 check_central(int board)  in check_central()
665 	int board;  in fhc_detach()  local
727 fhc_board_type(struct fhc_soft_state *softsp, int board)  in fhc_board_type()
826 	int board;  in fhc_init()  local
1777 		int board = softsp->list->sc.board;  in update_temp()  local
1951 			int board = softsp->list->sc.board;  in update_temp()  local
2258 get_temp_state(enum board_type type, short temp, int board)  in get_temp_state()
2382 cpu_on_board(int board)  in cpu_on_board()
2401 update_board_leds(fhc_bd_t *board, uint_t mask, uint_t value)  in update_board_leds()
2495 build_bd_display_str(char *buffer, enum board_type type, int board)  in build_bd_display_str()
2767 fhc_add_memloc(int board, uint64_t pa, uint_t size)  in fhc_add_memloc()
2799 fhc_del_memloc(int board)  in fhc_del_memloc()
2902 fhc_program_memory(int board, uint64_t pa)  in fhc_program_memory()
3044 fhc_board_poweroffcpus(int board, char *errbuf, int cpu_flags)  in fhc_board_poweroffcpus()
3195 	int board;  in fhc_cpu_poweroff()  local
3334 	int board;  in fhc_cpu_poweron()  local
3440 fhc_env_temp_state(int board)  in fhc_env_temp_state()