Searched refs:GUEST_DS_BASE (Results 1 – 7 of 7) sorted by relevance
128 FIELD(GUEST_DS_BASE, guest_ds_base),
51 EVMCS1_FIELD(GUEST_DS_BASE, guest_ds_base,
2543 vmcs_writel(GUEST_DS_BASE, vmcs12->guest_ds_base); in prepare_vmcs02_rare()4425 case GUEST_DS_BASE: in is_vmcs12_ext_field()4474 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE); in sync_vmcs02_to_vmcs12_rare()
261 GUEST_DS_BASE = 0x0000680c, enumerator
333 case GUEST_DS_BASE: in evmcs_vmread()749 case GUEST_DS_BASE: in evmcs_vmwrite()
357 GUEST_DS_BASE = 0x0000680c, enumerator
344 vmwrite(GUEST_DS_BASE, 0); in init_vmcs_guest_state()