Searched refs:GUEST_DS_BASE (Results 1 – 7 of 7) sorted by relevance
126 FIELD(GUEST_DS_BASE, guest_ds_base),
58 EVMCS1_FIELD(GUEST_DS_BASE, guest_ds_base,
2433 vmcs_writel(GUEST_DS_BASE, vmcs12->guest_ds_base); in prepare_vmcs02_rare()3999 case GUEST_DS_BASE: in is_vmcs12_ext_field()4048 vmcs12->guest_ds_base = vmcs_readl(GUEST_DS_BASE); in sync_vmcs02_to_vmcs12_rare()
306 GUEST_DS_BASE = 0x0000680c, enumerator
313 case GUEST_DS_BASE: in evmcs_vmread()700 case GUEST_DS_BASE: in evmcs_vmwrite()
317 GUEST_DS_BASE = 0x0000680c, enumerator
359 vmwrite(GUEST_DS_BASE, 0); in init_vmcs_guest_state()