Searched refs:kern_segment_idx_t (Results 1 – 2 of 2) sorted by relevance
416 typedef uint32_t kern_segment_idx_t; typedef756 extern kern_segment_idx_t kern_segment_get_index(const kern_segment_t);
326 kern_segment_idx_t