fhc_max_boards
fhc_list = kmem_zalloc(sizeof (fhc_bd_t) * fhc_max_boards(),
fhc_max_boards(), KM_SLEEP);
for (i = 0; i < fhc_max_boards(); i++) {
sizeof (sysc_cfga_stat_t) * fhc_max_boards(),
kmem_free(fhc_list, sizeof (fhc_bd_t) * fhc_max_boards());
fhc_max_boards());
for (bd_idx = 0; bd_idx < fhc_max_boards(); bd_idx++) {
for (bd_idx = 0; bd_idx < fhc_max_boards(); bd_idx++) {
for (bd_idx = 0; bd_idx < fhc_max_boards(); bd_idx++) {
for (bd_idx = 0; bd_idx < fhc_max_boards(); bd_idx++) {
for (bd_idx = 0; bd_idx < fhc_max_boards(); bd_idx++) {
int fhc_max_boards(void);