Searched defs:rmp_segment (Results 1 – 1 of 1) sorted by relevance
284 void *rmp_segment; in alloc_rmp_segment_desc() local431 u64 rmp_segment, rmp_size, mapped_size; in setup_segmented_rmptable() local