Searched refs:cs_rpl_bits (Results 1 – 1 of 1) sorted by relevance
7931 u16 cs_rpl_bits; in test_guest_segment_sel_fields() local7966 cs_rpl_bits = vmcs_read(GUEST_SEL_CS) & 0x3; in test_guest_segment_sel_fields()7968 TEST_INVALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (~cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7969 TEST_VALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7975 TEST_INVALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (~cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7976 TEST_VALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7982 TEST_VALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (~cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7983 TEST_VALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7990 TEST_VALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (~cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()7991 TEST_VALID_SEG_SEL(GUEST_SEL_SS, ((sel_saved & ~0x3) | (cs_rpl_bits & 0x3))); in test_guest_segment_sel_fields()