Searched refs:host_idtr_base (Results 1 – 3 of 3) sorted by relevance
147 u64 host_idtr_base; member427 *value = current_evmcs->host_idtr_base; in evmcs_vmread()875 current_evmcs->host_idtr_base = value; in evmcs_vmwrite()
151 natural_width host_idtr_base;
1859 vmcs12->host_idtr_base = evmcs->host_idtr_base; in copy_enlightened_to_vmcs12()3203 CC(is_noncanonical_base_address(vmcs12->host_idtr_base, vcpu)) || in nested_vmx_check_host_state()4822 vmcs_writel(GUEST_IDTR_BASE, vmcs12->host_idtr_base); in load_vmcs12_host_state()