Symbol: vmx_revision
sys/amd64/vmm/intel/vmx.c
1155
vmcs->identifier = vmx_revision();
sys/amd64/vmm/intel/vmx.c
647
*(uint32_t *)&vmxon_region[curcpu * PAGE_SIZE] = vmx_revision();
sys/amd64/vmm/intel/vmx_msr.h
43
uint32_t vmx_revision(void);