Symbol: vmcb_seg