Searched refs:guest_idtr_base (Results 1 – 4 of 4) sorted by relevance
65 EVMCS1_FIELD(GUEST_IDTR_BASE, guest_idtr_base,
507 natural_width guest_idtr_base; member665 CHECK_OFFSET(guest_idtr_base, 520); in vmx_check_vmcs12_offsets()1218 FIELD(GUEST_IDTR_BASE, guest_idtr_base),11997 vmcs_writel(GUEST_IDTR_BASE, vmcs12->guest_idtr_base); in prepare_vmcs02_full()13012 vmcs12->guest_idtr_base = vmcs_readl(GUEST_IDTR_BASE); in sync_vmcs12()
589 u64 guest_idtr_base; member
132 natural_width guest_idtr_base;
