Searched refs:guest_ds_limit (Results 1 – 4 of 4) sorted by relevance
200 EVMCS1_FIELD(GUEST_DS_LIMIT, guest_ds_limit,
555 u32 guest_ds_limit; member712 CHECK_OFFSET(guest_ds_limit, 852); in vmx_check_vmcs12_offsets()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()
563 u32 guest_ds_limit; member
180 u32 guest_ds_limit;
