Searched refs:guest_idtr_limit (Results 1 – 4 of 4) sorted by relevance
212 EVMCS1_FIELD(GUEST_IDTR_LIMIT, guest_idtr_limit,
561 u32 guest_idtr_limit; member718 CHECK_OFFSET(guest_idtr_limit, 876); in vmx_check_vmcs12_offsets()1182 FIELD(GUEST_IDTR_LIMIT, guest_idtr_limit),11982 vmcs_write32(GUEST_IDTR_LIMIT, vmcs12->guest_idtr_limit); in prepare_vmcs02_full()12994 vmcs12->guest_idtr_limit = vmcs_read32(GUEST_IDTR_LIMIT); in sync_vmcs12()
569 u32 guest_idtr_limit; member
186 u32 guest_idtr_limit;