Lines Matching defs:vmcs
1024 vmx_setup_cr_shadow(int which, struct vmcs *vmcs, uint32_t initial) in vmx_setup_cr_shadow()
1052 #define vmx_setup_cr0_shadow(vmcs,init) vmx_setup_cr_shadow(0, (vmcs), (init)) argument
1053 #define vmx_setup_cr4_shadow(vmcs,init) vmx_setup_cr_shadow(4, (vmcs), (init)) argument
1135 struct vmcs *vmcs; in vmx_vcpu_init() local
3042 struct vmcs *vmcs; in vmx_run() local
3360 struct vmcs *vmcs; in vmx_modify_intr_shadow() local
3592 struct vmcs *vmcs = vcpu->vmcs; in vmx_setcap() local
3899 struct vmcs *vmcs; in vmx_set_tmr() local
3925 struct vmcs *vmcs; in vmx_enable_x2apic_mode_ts() local
3949 struct vmcs *vmcs; in vmx_enable_x2apic_mode_vid() local
4143 struct vmcs *vmcs; in vmx_vcpu_snapshot() local
4256 struct vmcs *vmcs; in vmx_restore_tsc() local