Symbol: vmcs_seg_desc_encoding