segment_shift
int s_shift = segment_shift(ssize);
static void set_rmp_segment_info(unsigned int segment_shift)
rmp_segment_shift = segment_shift;
unsigned int eax, ebx, segment_shift, segment_shift_min, segment_shift_max;
segment_shift = MSR_AMD64_RMP_SEGMENT_SHIFT(rmp_cfg);
if (segment_shift > segment_shift_max || segment_shift < segment_shift_min) {
segment_shift, segment_shift_min, segment_shift_max);
set_rmp_segment_info(segment_shift);