fipe_cpu_state_t
nsize = max_ncpus * sizeof (fipe_cpu_state_t);
fipe_cpu_states = (fipe_cpu_state_t *)P2ROUNDUP(
static fipe_cpu_state_t *fipe_cpu_states = NULL;