Symbol: vmcb_segment