nvmm_x64_state
struct nvmm_x64_state *state)
gpr_read_address(struct x86_instr *instr, struct nvmm_x64_state *state, int gpr)
store_to_gva(struct nvmm_x64_state *state, struct x86_instr *instr,
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
x86_gva_to_gpa(struct nvmm_machine *mach, struct nvmm_x64_state *state,
struct nvmm_x64_state *state = vcpu->state;
is_long_mode(struct nvmm_x64_state *state)
is_64bit(struct nvmm_x64_state *state)
is_32bit(struct nvmm_x64_state *state)
is_16bit(struct nvmm_x64_state *state)
rep_get_cnt(struct nvmm_x64_state *state, size_t adsize)
rep_set_cnt(struct nvmm_x64_state *state, size_t adsize, uint64_t cnt)
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
const struct nvmm_x64_state nvmm_x86_reset_state = {
#define nvmm_vcpu_state nvmm_x64_state
extern const struct nvmm_x64_state nvmm_x86_reset_state;
svm_state_tlb_flush(const struct vmcb *vmcb, const struct nvmm_x64_state *state,
const struct nvmm_x64_state *state = &comm->state;
struct nvmm_x64_state *state = &comm->state;
.state_size = sizeof(struct nvmm_x64_state),
vmx_state_tlb_flush(const struct nvmm_x64_state *state, uint64_t flags)
const struct nvmm_x64_state *state = &comm->state;
struct nvmm_x64_state *state = &comm->state;
.state_size = sizeof(struct nvmm_x64_state),
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;
struct nvmm_x64_state *state = vcpu->state;