sysc_evt_t
fhc_bd_sc_register(void (*f)(void *, sysc_cfga_stat_t *, sysc_evt_t), void *sp)
fhc_bd_update(int board, sysc_evt_t evt)
sysc_evt_t se;
sysc_evt_t event)
void (*update)(void *, sysc_cfga_stat_t *, sysc_evt_t);
void fhc_bd_sc_register(void f(void *, sysc_cfga_stat_t *, sysc_evt_t), void *);
void fhc_bd_update(int, sysc_evt_t);
void sysc_policy_update(void *softsp, sysc_cfga_stat_t *sc, sysc_evt_t event);