Symbol: vmxon
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3819
struct vmxon *vmxon;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3888
vmxon = (struct vmxon *)vmxoncpu[cpu_index(ci)].va;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3889
vmxon->ident = __SHIFTIN(revision, VMXON_IDENT_REVISION);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
619
CTASSERT(sizeof(struct vmxon) == PAGE_SIZE);