caps_sc_t
cpucaps_charge(kthread_id_t t, caps_sc_t *csc, cpucaps_charge_t charge_type)
cpucaps_sc_init(caps_sc_t *csc)
caps_charge_adjust(kthread_id_t t, caps_sc_t *csc)
extern void cpucaps_sc_init(caps_sc_t *);
extern boolean_t cpucaps_charge(kthread_t *, caps_sc_t *, cpucaps_charge_t);
caps_sc_t fss_caps; /* CPU caps specific data */
caps_sc_t fx_caps; /* CPU caps specific data */
caps_sc_t ts_caps; /* CPU caps specific data */