Searched refs:GUEST_DS_LIMIT (Results 1 – 5 of 5) sorted by relevance
272 GUEST_DS_LIMIT = 0x00004806, enumerator
278 GUEST_DS_LIMIT = 0x00004806, enumerator
232 vmwrite(GUEST_DS_LIMIT, -1); in init_vmcs_guest_state()
200 EVMCS1_FIELD(GUEST_DS_LIMIT, guest_ds_limit,
1176 FIELD(GUEST_DS_LIMIT, guest_ds_limit),11976 vmcs_write32(GUEST_DS_LIMIT, vmcs12->guest_ds_limit); in prepare_vmcs02_full()12988 vmcs12->guest_ds_limit = vmcs_read32(GUEST_DS_LIMIT); in sync_vmcs12()