Searched refs:processor_set_info_t (Results 1 – 2 of 2) sorted by relevance
108 typedef integer_t *processor_set_info_t; /* varying array of int. */ typedef
384 /* processor_set_info_t: variable-size inline array398 type processor_set_info_t = array[*:5] of integer_t;