Searched refs:task_restartable_range_array_t (Results 1 – 2 of 2) sorted by relevance
64 typedef task_restartable_range_t *task_restartable_range_array_t; typedef91 task_restartable_range_array_t ranges,
42 type task_restartable_range_array_t = array[*:64] of task_restartable_range_t;46 ranges : task_restartable_range_array_t);