Searched refs:guest_idtr_base (Results 1 – 2 of 2) sorted by relevance
143 natural_width guest_idtr_base;
276 natural_width guest_idtr_base; member804 FIELD(GUEST_IDTR_BASE, guest_idtr_base),9508 vmcs_writel(GUEST_IDTR_BASE, vmcs12->guest_idtr_base); in prepare_vmcs02()10180 vmcs12->guest_idtr_base = vmcs_readl(GUEST_IDTR_BASE); in prepare_vmcs12()