vmx_vcpu
struct vmx_vcpu *vcpu;
vmx_handle_cpuid(struct vmx_vcpu *vcpu, struct vmxctx *vmxctx)
vmx_run_trace(struct vmx_vcpu *vcpu)
vmx_exit_trace(struct vmx_vcpu *vcpu, uint64_t rip, uint32_t exit_reason,
vmx_astpending_trace(struct vmx_vcpu *vcpu, uint64_t rip)
vmx_invvpid(struct vmx *vmx, struct vmx_vcpu *vcpu, pmap_t pmap, int running)
vmx_set_pcpu_defaults(struct vmx *vmx, struct vmx_vcpu *vcpu, pmap_t pmap)
vmx_set_int_window_exiting(struct vmx_vcpu *vcpu)
vmx_clear_int_window_exiting(struct vmx_vcpu *vcpu)
vmx_set_nmi_window_exiting(struct vmx_vcpu *vcpu)
vmx_clear_nmi_window_exiting(struct vmx_vcpu *vcpu)
vmx_set_tsc_offset(struct vmx_vcpu *vcpu, uint64_t offset)
vmx_inject_nmi(struct vmx_vcpu *vcpu)
vmx_inject_interrupts(struct vmx_vcpu *vcpu, struct vlapic *vlapic,
vmx_restore_nmi_blocking(struct vmx_vcpu *vcpu)
vmx_clear_nmi_blocking(struct vmx_vcpu *vcpu)
vmx_assert_nmi_blocking(struct vmx_vcpu *vcpu)
vmx_emulate_xsetbv(struct vmx *vmx, struct vmx_vcpu *vcpu,
vmx_get_guest_reg(struct vmx_vcpu *vcpu, int ident)
vmx_set_guest_reg(struct vmx_vcpu *vcpu, int ident, uint64_t regval)
vmx_emulate_cr0_access(struct vmx_vcpu *vcpu, uint64_t exitqual)
vmx_emulate_cr4_access(struct vmx_vcpu *vcpu, uint64_t exitqual)
vmx_emulate_cr8_access(struct vmx *vmx, struct vmx_vcpu *vcpu,
inout_str_index(struct vmx_vcpu *vcpu, int in)
inout_str_count(struct vmx_vcpu *vcpu, int rep)
inout_str_seginfo(struct vmx_vcpu *vcpu, uint32_t inst_info, int in,
apic_access_virtualization(struct vmx_vcpu *vcpu)
x2apic_virtualization(struct vmx_vcpu *vcpu)
vmx_handle_apic_write(struct vmx_vcpu *vcpu, struct vlapic *vlapic,
apic_access_fault(struct vmx_vcpu *vcpu, uint64_t gpa)
vmx_handle_apic_access(struct vmx_vcpu *vcpu, struct vm_exit *vmexit)
emulate_wrmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t val, bool *retu)
emulate_rdmsr(struct vmx_vcpu *vcpu, u_int num, bool *retu)
vmx_exit_process(struct vmx *vmx, struct vmx_vcpu *vcpu, struct vm_exit *vmexit)
vmx_exit_handle_nmi(struct vmx_vcpu *vcpu, struct vm_exit *vmexit)
struct vmx_vcpu *vcpu;
struct vmx_vcpu *vcpu = vcpui;
vmx_get_intr_shadow(struct vmx_vcpu *vcpu, int running, uint64_t *retval)
vmx_modify_intr_shadow(struct vmx_vcpu *vcpu, int running, uint64_t val)
struct vmx_vcpu *vcpu = vcpui;
struct vmx_vcpu *vcpu = vcpui;
struct vmx_vcpu *vcpu = vcpui;
struct vmx_vcpu *vcpu = vcpui;
struct vmx_vcpu *vcpu = vcpui;
struct vmx_vcpu *vcpu = vcpui;
struct vmx_vcpu *vcpu;
struct vmx_vcpu *vcpu;
struct vmx_vcpu *vcpu;
struct vmx_vcpu *vcpu;
struct vmx_vcpu *vcpu;
struct vmx_vcpu *vcpu = vcpui;
int vmx_set_tsc_offset(struct vmx_vcpu *vcpu, uint64_t offset);
vmx_msr_guest_init(struct vmx *vmx, struct vmx_vcpu *vcpu)
vmx_msr_guest_enter(struct vmx_vcpu *vcpu)
vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu)
vmx_msr_guest_exit(struct vmx_vcpu *vcpu)
vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu)
vmx_rdmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t *val, bool *retu)
vmx_wrmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t val, bool *retu)
void vmx_msr_guest_init(struct vmx *vmx, struct vmx_vcpu *vcpu);
void vmx_msr_guest_enter_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu);
void vmx_msr_guest_enter(struct vmx_vcpu *vcpu);
void vmx_msr_guest_exit(struct vmx_vcpu *vcpu);
void vmx_msr_guest_exit_tsc_aux(struct vmx *vmx, struct vmx_vcpu *vcpu);
int vmx_rdmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t *val, bool *retu);
int vmx_wrmsr(struct vmx_vcpu *vcpu, u_int num, uint64_t val, bool *retu);