Symbol: vmm_segment_desc_decode