svm_vcpu
svm_save_intinfo(struct svm_softc *svm_sc, struct svm_vcpu *vcpu)
vintr_intercept_enabled(struct svm_vcpu *vcpu)
enable_intr_window_exiting(struct svm_vcpu *vcpu)
disable_intr_window_exiting(struct svm_vcpu *vcpu)
svm_modify_intr_shadow(struct svm_vcpu *vcpu, uint64_t val)
svm_get_intr_shadow(struct svm_vcpu *vcpu, uint64_t *val)
nmi_blocked(struct svm_vcpu *vcpu)
enable_nmi_blocking(struct svm_vcpu *vcpu)
clear_nmi_blocking(struct svm_vcpu *vcpu)
svm_write_efer(struct svm_softc *sc, struct svm_vcpu *vcpu, uint64_t newval,
emulate_wrmsr(struct svm_softc *sc, struct svm_vcpu *vcpu, u_int num,
emulate_rdmsr(struct svm_vcpu *vcpu, u_int num, bool *retu)
svm_vmexit(struct svm_softc *svm_sc, struct svm_vcpu *vcpu,
svm_inj_intinfo(struct svm_softc *svm_sc, struct svm_vcpu *vcpu)
svm_inj_interrupts(struct svm_softc *sc, struct svm_vcpu *vcpu,
svm_pmap_activate(struct svm_vcpu *vcpu, pmap_t pmap)
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu = vcpui;
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu;
struct svm_vcpu *vcpu = vcpui;
svm_set_tsc_offset(struct svm_vcpu *vcpu, uint64_t offset)
svm_get_intercept(struct svm_vcpu *vcpu, int idx, uint32_t bitmask)
svm_set_intercept(struct svm_vcpu *vcpu, int idx, uint32_t bitmask, int enabled)
svm_disable_intercept(struct svm_vcpu *vcpu, int off, uint32_t bitmask)
svm_enable_intercept(struct svm_vcpu *vcpu, int off, uint32_t bitmask)
vmcb_init(struct svm_softc *sc, struct svm_vcpu *vcpu, uint64_t iopm_base_pa,
struct svm_vcpu *vcpu;
svm_inout_str_seginfo(struct svm_vcpu *vcpu, int64_t info1, int in,
svm_handle_io(struct svm_vcpu *vcpu, struct vm_exit *vmexit)
svm_eventinject(struct svm_vcpu *vcpu, int intr_type, int vector,
svm_update_virqinfo(struct svm_vcpu *vcpu)
struct svm_vcpu;
void svm_set_tsc_offset(struct svm_vcpu *vcpu, uint64_t offset);
svm_rdmsr(struct svm_vcpu *vcpu, u_int num, uint64_t *result, bool *retu)
svm_wrmsr(struct svm_vcpu *vcpu, u_int num, uint64_t val, bool *retu)
svm_msr_guest_init(struct svm_softc *sc, struct svm_vcpu *vcpu)
svm_msr_guest_enter(struct svm_vcpu *vcpu)
svm_msr_guest_exit(struct svm_vcpu *vcpu)
struct svm_vcpu;
void svm_msr_guest_init(struct svm_softc *sc, struct svm_vcpu *vcpu);
void svm_msr_guest_enter(struct svm_vcpu *vcpu);
void svm_msr_guest_exit(struct svm_vcpu *vcpu);
int svm_wrmsr(struct svm_vcpu *vcpu, u_int num, uint64_t val, bool *retu);
int svm_rdmsr(struct svm_vcpu *vcpu, u_int num, uint64_t *result, bool *retu);
svm_get_vmcb_state(struct svm_vcpu *vcpu)
svm_get_vmcb_ctrl(struct svm_vcpu *vcpu)
svm_get_guest_regctx(struct svm_vcpu *vcpu)
svm_set_dirty(struct svm_vcpu *vcpu, uint32_t dirtybits)
svm_get_vmcb(struct svm_vcpu *vcpu)
vmcb_access(struct svm_vcpu *vcpu, int write, int ident, uint64_t *val)
vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval)
vmcb_write(struct svm_vcpu *vcpu, int ident, uint64_t val)
vmcb_setdesc(struct svm_vcpu *vcpu, int reg, struct seg_desc *desc)
vmcb_getdesc(struct svm_vcpu *vcpu, int reg, struct seg_desc *desc)
vmcb_getany(struct svm_vcpu *vcpu, int ident, uint64_t *val)
vmcb_setany(struct svm_vcpu *vcpu, int ident, uint64_t val)
vmcb_snapshot_desc(struct svm_vcpu *vcpu, int reg,
vmcb_snapshot_any(struct svm_vcpu *vcpu, int ident,
struct svm_vcpu;
int vmcb_read(struct svm_vcpu *vcpu, int ident, uint64_t *retval);
int vmcb_write(struct svm_vcpu *vcpu, int ident, uint64_t val);
int vmcb_setdesc(struct svm_vcpu *vcpu, int ident, struct seg_desc *desc);
int vmcb_getdesc(struct svm_vcpu *vcpu, int ident, struct seg_desc *desc);
int vmcb_getany(struct svm_vcpu *vcpu, int ident, uint64_t *val);
int vmcb_setany(struct svm_vcpu *vcpu, int ident, uint64_t val);
int vmcb_snapshot_desc(struct svm_vcpu *vcpu, int reg,
int vmcb_snapshot_any(struct svm_vcpu*vcpu, int ident,