Searched refs:get_ds (Results 1 – 3 of 3) sorted by relevance
93 vmcb_set_seg(&save->ds, get_ds(), 0, -1U, data_seg_attr); in generic_svm_setup()
273 vmwrite(HOST_DS_SELECTOR, get_ds()); in init_vmcs_host_state()
160 static inline uint16_t get_ds(void) in get_ds() function