Searched refs:vmx_vcpu (Results 1 – 4 of 4) sorted by relevance
/freebsd/sys/amd64/vmm/intel/ |
H A D | vmx_msr.h | 35 void vmx_msr_guest_init(struct vmx *vmx, struct vmx_vcpu *vcpu); 36 void vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu); 37 void vmx_msr_guest_enter(struct vmx_vcpu *vcpu); 38 void vmx_msr_guest_exit(struct vmx_vcpu *vcpu); 39 void vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu); 40 int vmx_rdmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t *val, bool *retu); 41 int vmx_wrmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t val, bool *retu);
|
H A D | vmx_msr.c | 312 vmx_msr_guest_init(struct vmx *vmx, struct vmx_vcpu *vcpu) in vmx_msr_guest_init() 342 vmx_msr_guest_enter(struct vmx_vcpu *vcpu) in vmx_msr_guest_enter() 355 vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu) in vmx_msr_guest_enter_tsc_aux() 365 vmx_msr_guest_exit(struct vmx_vcpu *vcpu) in vmx_msr_guest_exit() 385 vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu) in vmx_msr_guest_exit_tsc_aux() 402 vmx_rdmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t *val, bool *retu) in vmx_rdmsr() 444 vmx_wrmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t val, bool *retu) in vmx_wrmsr()
|
H A D | vmx.c | 1136 struct vmx_vcpu *vcpu; in vmx_vcpu_init() 1251 vmx_handle_cpuid(struct vmx_vcpu *vcpu, struct vmxctx *vmxctx) in vmx_handle_cpuid() 1262 vmx_run_trace(struct vmx_vcpu *vcpu) in vmx_run_trace() 1268 vmx_exit_trace(struct vmx_vcpu *vcpu, uint64_t rip, uint32_t exit_reason, in vmx_exit_trace() 1277 vmx_astpending_trace(struct vmx_vcpu *vcpu, uint64_t rip) in vmx_astpending_trace() 1289 vmx_invvpid(struct vmx *vmx, struct vmx_vcpu *vcpu, pmap_t pmap, int running) in vmx_invvpid() 1346 vmx_set_pcpu_defaults(struct vmx *vmx, struct vmx_vcpu *vcpu, pmap_t pmap) in vmx_set_pcpu_defaults() 1370 vmx_set_int_window_exiting(struct vmx_vcpu *vcpu) in vmx_set_int_window_exiting() 1381 vmx_clear_int_window_exiting(struct vmx_vcpu *vcpu) in vmx_clear_int_window_exiting() 1392 vmx_set_nmi_window_exiting(struct vmx_vcpu *vcpu) in vmx_set_nmi_window_exiting() [all …]
|
H A D | vmx.h | 127 struct vmx_vcpu { struct 176 int vmx_set_tsc_offset(struct vmx_vcpu *vcpu, uint64_t offset);
|