Symbol: vcpu_segment_info