Searched refs:GUEST_DS_BASE (Results 1 – 7 of 7) sorted by relevance
127 FIELD(GUEST_DS_BASE, guest_ds_base),
59 EVMCS1_FIELD(GUEST_DS_BASE, guest_ds_base,
2408 vmcs_writel(GUEST_DS_BASE, vmcs12->guest_ds_base); in prepare_vmcs02_rare()4198 case GUEST_DS_BASE: in is_vmcs12_ext_field()4247 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE); in sync_vmcs02_to_vmcs12_rare()
261 GUEST_DS_BASE = 0x0000680c, enumerator
343 case GUEST_DS_BASE: in evmcs_vmread()759 case GUEST_DS_BASE: in evmcs_vmwrite()
332 GUEST_DS_BASE = 0x0000680c, enumerator
364 vmwrite(GUEST_DS_BASE, 0); in init_vmcs_guest_state()