162     uint8_t regdata;  in whd_device_core_is_up()  local
169 …  result = whd_bus_read_backplane_value(whd_driver, base + AI_IOCTRL_OFFSET, (uint8_t)1, &regdata);  in whd_device_core_is_up()
177     if ( (regdata & (SICF_FGC | SICF_CLOCK_EN) ) != ( uint8_t )SICF_CLOCK_EN )  in whd_device_core_is_up()
183 …esult = whd_bus_read_backplane_value(whd_driver, base + AI_RESETCTRL_OFFSET, (uint8_t)1, &regdata);  in whd_device_core_is_up()
189     if ( (regdata & AIRC_RESET) != 0 )  in whd_device_core_is_up()
204     uint8_t regdata;  in whd_reset_core()  local
208 …                                             &regdata) ) == WHD_SUCCESS ) && regdata != 0 ), 300 );  in whd_reset_core()
216 …                                             &regdata) ) == WHD_SUCCESS ) && regdata != 0 ), 300 );  in whd_reset_core()
223 …                                             &regdata) ) == WHD_SUCCESS ) && regdata != 0 ), 300 );  in whd_reset_core()
226                                                      &regdata) ) == WHD_SUCCESS ) && regdata != 0 &&  in whd_reset_core()
231 …                                             &regdata) ) == WHD_SUCCESS ) && regdata != 0 ), 300 );  in whd_reset_core()
242 …                                             &regdata) ) == WHD_SUCCESS ) && regdata != 0 ), 300 );  in whd_reset_core()
265     uint8_t regdata;  in whd_disable_device_core()  local
276 …esult = whd_bus_read_backplane_value(whd_driver, base + AI_RESETCTRL_OFFSET, (uint8_t)1, &regdata);  in whd_disable_device_core()
282     if ( (regdata & AIRC_RESET) != 0 )  in whd_disable_device_core()