fhc_bd_resizable_t
fhc_check_size(fhc_bd_resizable_t *resizable)
static fhc_bd_resizable_t boards; /* booted and hotplugged boards */
static fhc_bd_resizable_t clocks; /* clocks under central. */
static void fhc_check_size(fhc_bd_resizable_t *);