Searched refs:vmx_revision (Results 1 – 3 of 3) sorted by relevance
43 uint32_t vmx_revision(void);
59 vmx_revision(void) in vmx_revision() function
645 *(uint32_t *)&vmxon_region[curcpu * PAGE_SIZE] = vmx_revision(); in vmx_enable()1145 vmcs->identifier = vmx_revision(); in vmx_vcpu_init()