get_ds
vmcb_set_seg(&save->ds, get_ds(), 0, -1U, data_seg_attr);
vmwrite(HOST_DS_SELECTOR, get_ds());