90     wvmcs(cs->accel->fd, VMCS_GUEST_IDTR_LIMIT, env->idt.limit);  in hvf_put_segments()
91     wvmcs(cs->accel->fd, VMCS_GUEST_IDTR_BASE, env->idt.base);  in hvf_put_segments()
93     wvmcs(cs->accel->fd, VMCS_GUEST_GDTR_LIMIT, env->gdt.limit);  in hvf_put_segments()
94     wvmcs(cs->accel->fd, VMCS_GUEST_GDTR_BASE, env->gdt.base);  in hvf_put_segments()
97     wvmcs(cs->accel->fd, VMCS_GUEST_CR3, env->cr[3]);  in hvf_put_segments()
99     wvmcs(cs->accel->fd, VMCS_GUEST_IA32_EFER, env->efer);  in hvf_put_segments()
331      wvmcs(cs->accel->fd, VMCS_PRI_PROC_BASED_CTLS, val |  in vmx_set_int_window_exiting()
339      wvmcs(cs->accel->fd, VMCS_PRI_PROC_BASED_CTLS, val &  in vmx_clear_int_window_exiting()
384                 wvmcs(cs->accel->fd, VMCS_ENTRY_INST_LENGTH, env->ins_len);  in hvf_inject_interrupts()
388                 wvmcs(cs->accel->fd, VMCS_ENTRY_EXCEPTION_ERROR,  in hvf_inject_interrupts()
394             wvmcs(cs->accel->fd, VMCS_ENTRY_INTR_INFO, info);  in hvf_inject_interrupts()
402             wvmcs(cs->accel->fd, VMCS_ENTRY_INTR_INFO, info);  in hvf_inject_interrupts()
414             wvmcs(cs->accel->fd, VMCS_ENTRY_INTR_INFO, line |  in hvf_inject_interrupts()