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