Searched refs:VMX_GUEST_DS_BASE (Results 1 – 3 of 3) sorted by relevance
190 #define VMX_GUEST_DS_BASE 0x0000680cU macro
363 VMX_GUEST_DS_BASE,
303 desc->base_field = VMX_GUEST_DS_BASE; in encode_vmcs_seg_desc()
Completed in 12 milliseconds