Searched defs:vmxstate (Results 1 – 2 of 2) sorted by relevance
80 struct vmxstate { struct81 uint64_t nextrip; /* next instruction to be executed by guest */82 int lastcpu; /* host cpu that this 'vcpu' last ran on */83 uint16_t vpid;
1012 struct vmxstate *vmxstate; in vmx_invvpid() local1069 struct vmxstate *vmxstate; in vmx_set_pcpu_defaults() local